Computer Aided Verification
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: June 1994
Language: eng
Format: Paperback
Number of pages: 489
ISBN-13: 9783540581796
Subjects: Applications of Computing; Computer Programming
Notes: Lecture Notes in Computer Science