Catalog

Print Record Preview

Catalog Search




Print Now | Return

  1. Bib ID# 32775
    ISBN: 9783642333866
    UPC: 10.1007/978-3-642-33386-6
    Title: Automated Technology for Verification and Analysis10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings /
    Author: Chakraborty, Supratik.
    Publication Info:
    Item Type: Language material

Additional Resources