Style de citation APA (7e éd.)
Dang Hung, M. O. Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings. Springer.
Style de citation Chicago (17e éd.)
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.
Style de citation MLA (9e éd.)
Dang Hung, Mizuhito Ogawa. Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings. Springer.
Attention : ces citations peuvent ne pas être correctes à 100%.