Computer Aided Verification: 19th Inteational Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
Hardcover: 562 pages
Publisher: Springer (July 2, 2007)
Language: English
ISBN-10: 3540733671