Cassez, F., & Raskin, J. (2014). Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings (1st ed. 2014.). Cham: Springer International Publishing.
Chicago Style CitationCassez, Franck, and Jean-Francois Raskin. Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings. 1st ed. 2014. Cham: Springer International Publishing, 2014.
MLA CitationCassez, Franck, and Jean-Francois Raskin. Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings. 1st ed. 2014. Cham: Springer International Publishing, 2014.