Catalog

Print Record Preview

Catalog Search




Print Now | Return

  1. 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

Additional Resources