Computer-Aided Verification: 2nd International Conference, Cav '90 New Brunswick, Nj, Usa, June 18-21, 1990 Proceedings (Lecture Notes in Computer Science)

by E. M. Clarke Paperback details (United States). ISBN: 978-0-387-54477-9 ISBN-10: 0-387-54477-1 Springer Verlag · 1991