Computer aided verification : 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings /

Bibliographic Details
Corporate Author:	CAV (Conference) Snowbird, Utah)
Other Authors:	Gopalakrishnan, Ganesh, Qadeer, Shaz
Format:	Conference Proceeding eBook
Language:	English
Published:	Heidelberg : Springer, 2011.
Series:	LNCS sublibrary. Theoretical computer science and general issues. Lecture notes in computer science ; 6806.
Subjects:	Computer software > Verification > Congresses. Electronic digital computers > Evaluation > Congresses. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online