-
Bib ID# 42310
ISBN: 9783642314247
UPC: 10.1007/978-3-642-31424-7
Title: Computer Aided Verification24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings /
Author: Madhusudan, P.
Publication Info:
Item Type: Language material