Applied Formal Methods- FM - Trends 98 : Lecture Notes in Computer Science
Hutter, D.: (et-al)
Applied Formal Methods- FM - Trends 98 : Lecture Notes in Computer Science - Springer: Tokyo 1998 - 376 p.
0003540664629
Formal Methods:
005.12 / H87
Applied Formal Methods- FM - Trends 98 : Lecture Notes in Computer Science - Springer: Tokyo 1998 - 376 p.
0003540664629
Formal Methods:
005.12 / H87