Computer aided verification : 23rd international conference : proceedings, CAV, Snowbird, UT, USA, July 14-20, 2011 (e-book)
Computer aided verification : 23rd international conference : proceedings, CAV, Snowbird, UT, USA, July 14-20, 2011 (e-book)
- Berlin Springer 2011
- Lecture Notes in Computer Science (LNCS) v.6806 LNCS Sublibrary : SL 1 – Theoretical computer science and general issues .
978-3-642-22110-1
Computer science and engineering
Computer software--Verification--Congresses
Electronic digital computers--Evaluation--Congresses
978-3-642-22110-1
Computer science and engineering
Computer software--Verification--Congresses
Electronic digital computers--Evaluation--Congresses