Computer Aided Verification: Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings by

Computer Aided Verification: Fourth International Workshop, Cav '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings

Lecture Notes in Computer Science

426 pages • missing pub info (editions)

nonfiction computer science design mathematics informative medium-paced
Powered by AI (Beta)
Loading...

Description

This volume gives the proceedings of the Fourth Workshop on Computer-Aided Verification (CAV '92), held in Montreal, June 29 - July 1, 1992. The objective of this series of workshops is to bring together researchers and practitioners interested in...

Read more

Community Reviews

Loading...

Content Warnings

Loading...