Releases von Gregor Von Bochmann

Cover for Gregor Von Bochmann · Computer Aided Verification: Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings (International Workshop, Cav '92, Montreal, Canada, June 29-july 1, 1992 - Proceedings) - Lecture Notes in Computer Science (Taschenbuch) (1993)
Taschenbuch
Computer Aided Verification: Fou...
Gregor Von Bochmann