Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings /

Bibliographic Details
Corporate Authors:	CAV (Conference) Edinburgh, Scotland), SpringerLink (Online service)
Other Authors:	Etessami, Kousha, Rajamani, Sriram K., 1970-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, 2005.
Series:	Lecture notes in computer science. 3576.
Subjects:	Computer software > Verification > Congresses. Electronic digital computers > Evaluation > Congresses. Integrated circuits > Verification > Congresses. Circuits intégrés > Vérification > Congrès. Logiciels > Vérification > Congrès. Circuit intégré. Ordinateur. Vérification de logiciels. Vérification formelle. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online