-
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