Computer Aided Verification: Fourth International Workshop, Cav'92 Montreal, Canada, June 29-July 1, 1992: Proceedings (Lecture Notes in Computer Science)

by G. Von Bochmann

Paperback

ISBN: 978-0-387-56496-8

ISBN-10: 0-387-56496-9

See also (possibly by other authors):
2008	Taschenbuch	Computer Aided Verification: Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings (Lecture Notes in Computer Science, Band 663)