-
Bib ID# 34293
ISBN: 9783540705451
UPC: 10.1007/978-3-540-70545-1
Title: Computer Aided Verification20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings /
Author: Gupta, Aarti.
Publication Info:
Item Type: Language material