Applied formal methods--FM-Trends 981999
International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings (Lecture Notes in Computer Science)
by Dieter Hutter
No description found.
2 editions at OpenLibrary