Computer aided verification [electronic resource] : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, proceedings / Aarti Gupta, Sharad Malik (eds.).
Saved in:
Published: |
Berlin ; New York :
Springer,
c2008.
|
---|---|
Online Access: | |
Corporate Authors: | |
Other Authors: | |
Series: | Lecture notes in computer science ;
5123 |
Subjects: | |
Format: | Electronic Conference Proceeding eBook |