VAN HUNG, Dang und OGAWA, Mizuhito (Hrsg.). 1 st ed. 2013. Cham: Springer International Publishing. ISBN 9783319024448.
Elsevier - Harvard (with titles)Van Hung, D., Ogawa, M. (Hrsg.), 2013. Automated Technology for Verification and Analysis : 11 th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings, 1 st ed. 2013. ed, Programming and Software Engineering. Springer International Publishing, Cham. https://doi.org/10.1007/978-3-319-02444-8
American Psychological Association 7th editionAutomated Technology for Verification and Analysis : 11 th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings. (ca. 2013). [Cd]. In D. Van Hung & M. Ogawa (Hrsg.), Programming and Software Engineering (1 st ed. 2013). Springer International Publishing. https://doi.org/10.1007/978-3-319-02444-8
Springer - Basic (author-date)Van Hung D, Ogawa M (Hrsg.) (2013) Automated Technology for Verification and Analysis : 11 th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings, 1 st ed. 2013. Springer International Publishing, Cham
Juristische Zitierweise (Stüber) (Deutsch)Van Hung, Dang/ Ogawa, Mizuhito (Hrsg.), Automated Technology for Verification and Analysis : 11 th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings, 1 st ed. 2013 , Cham 2013.