Take a photo of a barcode or cover
Read With Others
Book Information
426 pages • paperback • 1 edition
ISBN/UID: 9783540564966
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 30 Mar 1993
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...
Community Reviews
Content Warnings
426 pages • paperback
ISBN/UID: 9783540564966
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 30 Mar 1993
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...
Community Reviews
Content Warnings