Cita APA (7a ed.)
Dang Hung, M. O. Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings. Springer.
Cita estilo Chicago (17a ed.)
Dang Hung, Mizuhito Ogawa. Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings. Cham, Suiza: Springer.
Cita MLA (9a ed.)
Dang Hung, Mizuhito Ogawa. Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings. Springer.
Precaución: Estas citas no son 100% exactas.