SpringerLink (Online service), Cassez, F., & Raskin, J. (2014). Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings. Springer International Publishing : Imprint: Springer.
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service), Franck Cassez, και Jean-François Raskin. Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings. Cham: Springer International Publishing : Imprint: Springer, 2014.
Παραπομπή σε μορφή MLA (8th εκδ.)SpringerLink (Online service), et al. Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings. Springer International Publishing : Imprint: Springer, 2014.
