Catalog

Print Record Preview

Catalog Search




Print Now | Return

  1. Bib ID# 32503
    ISBN: 9783642397998
    UPC: 10.1007/978-3-642-39799-8
    Title: Computer Aided Verification25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings /
    Author: Sharygina, Natasha.
    Publication Info:
    Item Type: Language material

Additional Resources