International Symposium on Automated Technology for Verification and Analysis ( Sidney, Australia), Cassez, F., & Raskin, J. Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014 : Proceedings. Springer.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Cita estilo Chicago (17a ed.)
International Symposium on Automated Technology for Verification and Analysis ( Sidney, Australia), Franck Cassez, y Jean-François Raskin. Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014 : Proceedings. Cham, Suiza: Springer.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Cita MLA (9a ed.)
International Symposium on Automated Technology for Verification and Analysis ( Sidney, Australia), et al. Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014 : Proceedings. Springer.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Opozorilo: Ti citati niso vedno 100% točni.