Shelfclass_id |
4.B.3 |
Sortkey |
CAV |
Authors |
Editors: Kim Guldstrand Larsen, Arne Skou |
Title |
CAV 1991: Computer Aided Verification: 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991, Proceedings |
Publisher |
Springer-Verlag |
Year |
1992 |
Languages |
eng |
Isbn |
0387551794, 3540551794 |
Series |
Lecture Notes in Computer Science |
Volume |
575 |
Issn |
0302-9743 |
Description |
x, 487 p. ill. 25 cm |
Record date |
20110218 |
Location |
New York |
Keywords |
Computer software, Verification, Congresses, Electronic digital computers, Evaluation, Program verification, Mathematical logic, Conference proceedings |
Notes |
Proceedings of the third International Workshop on Computer Aided Verification |