-
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