Computer aided verification: 27th international conference, CAV 2015, San Francisco, CA, USA, July 18 - 24, 2015 ; proceedings
Saved in:
Bibliographic Details
Format: Conference Proceeding Book
Language:English
Published: Cham [u.a.] Springer
Series:Lecture notes in computer science ...
Subjects:

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection!