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

Corporate Authors: CAV 2005 (2005 Edinburgh, Scotland); LINK (Online service)
Group Author: Etessami Kousha.; Rajamani Sriram K., 1970-
Published: Springer,
Publication Dates: c2005.