Computer aided verification : 26th international conference, CAV, held as part of the vienna summer of logic, VSL, Vienna, Austria, July 18-22, 2014 (e-book)

Computer aided verification : 26th international conference, CAV, held as part of the vienna summer of logic, VSL, Vienna, Austria, July 18-22, 2014 (e-book) - - Berlin Springer 2014 - - Lecture notes in computer science ; v.8559 .

978-3-319-08867-9



Computer Science and Engineering
Computer software-Verification-Congresses , Integrated circuits-Verification-Congresses

Powered by Koha