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

Corporate Authors: CAV Conference (17th 2005 Edinburgh, Scotland
Group Author: Etessami Kousha; Rajamani Sriram K 1970-
Published: Springer,
Publication Dates: 2005.
Call Number: TP301-532/C738/2005