Computer Aided Verification
Subtitle: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
Publisher: Springer London, Limited
Published: 2005
Language: eng
ISBN-13: 9783540316862
Subjects: Integrated circuits; Computer programs; Computer software, verification