| Computer-Aided Verification 2nd International Conference, CAV '91 New Brunswick, NJ, June 18-21, 1990 Proceedings | | | Editor:
| Clarke, E. M.
Kurshan, Robert P.
Goos, G.
Hartmanis, J. | | Series title: | Lecture Notes in Computer Science | | ISBN: | 978-0-387-54477-9 | | Publication Date: | Oct 1991 | | Publisher: | Springer
| | Book Format: | Hardback | | List Price: | USD $54.95 |
| |