APA (7. basım) Alıntı

SpringerLink (Online service), Mukund, M., & Chakraborty, S. (2012). Automated technology for verification and analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings. Imprint: Springer.

Chicago Style (17. basım) Atıf

SpringerLink (Online service), Madhavan Mukund, ve Supratik Chakraborty. Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings. Berlin, Heidelberg: Imprint: Springer, 2012.

MLA (8th ed.) Atıf

SpringerLink (Online service), et al. Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings. Imprint: Springer, 2012.