Shelfclass_id | 4.B.3 |
Sortkey | CAV |
Authors | Pierre Wolper |
Title | CAV 1995: Computer Aided Verification: 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995, Proceedings |
Publisher | Springer |
Year | 1995 |
Languages | eng |
Isbn | 3540600450 |
Series | Lecture Notes in Computer Science |
Volume | 939 |
Issn | 0302-9743 |
Description | x, 450 p. |
Record date | 20090901 |
Location | New York |
Keywords | Computer aided verification, Program verification, Mathematical logic, Conference proceedings |