Cita APA (7a ed.)
Doron A. Peled, Y. T. Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings. Springer.
Cita estilo Chicago (17a ed.)
Doron A. Peled, Yih-Kuen Tsay. Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings. Berlín, Alemania: Springer.
Cita MLA (9a ed.)
Doron A. Peled, Yih-Kuen Tsay. Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings. Springer.
Opozorilo: Ti citati niso vedno 100% točni.