Hung, D., Van Hung, D., & Ogawa, M. Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings (1st ed. 2013.). Springer International Publishing.
Style de citation Chicago (17e éd.)Hung, Dang, Dang Van Hung, et Mizuhito Ogawa. Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings. 1st ed. 2013. Cham: Springer International Publishing.
Style de citation MLA (8e éd.)Hung, Dang, et al. Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings. 1st ed. 2013. Springer International Publishing.
警告：這些引文格式不一定是100％准確.