Computer Aided Verification: 3rd International Workshop, Cav 92: Proceedings (Lecture Notes in Computer Science)

by Kim G. Larsen Paperback details (United States). ISBN: 978-0-387-55179-1 ISBN-10: 0-387-55179-4 Springer Verlag · 1992