IOU Library

Computer Aided Verification 31st International Conference, CAV 2019 New York City, NY, USA, July 15–18, 2019 Proceedings, Part II

An electronic copy of book is available for Library Members

Further Details Info

Title	Computer Aided Verification 31st International Conference, CAV 2019 New York City, NY, USA, July 15–18, 2019 Proceedings, Part II
Call No
Authors	Isil Dillig • Serdar Tasiran
Subjects	Computers & Information Technology

An electronic copy of book is available for Library Members Sign in to view the book

no reviews

Sub Title:
Edition:
Volume:
Publisher: Springer
Publishing Year: 2019
ISBN:
Pages: 558

245: $a: Computer Aided Verification 31st International Conference, CAV 2019 New York City, NY, USA, July 15–18, 2019 Proceedings, Part II
245: $b:
082: $a:
100: $a: Isil Dillig • Serdar Tasiran
650: $a: Computers & Information Technology
250: $a:
440: $v:
250: $b: Springer
250: $c: 2019
020: $a:
300: $a: 558

Welcome to IOU Digital Library

Computer Aided Verification 31st International Conference, CAV 2019 New York City, NY, USA, July 15–18, 2019 Proceedings, Part II

Further Details Info

Fresh Arrivals