Special issue on the Fifth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Berlin, April 3–4, 2000—selected papers

Hubert Garavel، نويسنده , , Stefania Gnesi، نويسنده , , Ina Schieferdecker، نويسنده ,

ماهنامه با شماره پیاپی سال 2003

2

195

196

Science of Computer Programming

2003

Science of Computer Programming

1079670