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
978-3-319-08867-9
Computer Science and Engineering
Computer software-Verification-Congresses , Integrated circuits-Verification-Congresses