Supratik Chakraborty, M. M. Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings. Springer.
Uspješno je kopirano u međuspremnik
Kopiranje u međuspremnik neuspjelo
Čikaški stil citiranja (17. izdanje)
Supratik Chakraborty, Madhavan Mukund. Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings. Berlín, Alemania: Springer.
Uspješno je kopirano u međuspremnik
Kopiranje u međuspremnik neuspjelo
MLA način citiranja (9. izdanje)
Supratik Chakraborty, Madhavan Mukund. Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings. Springer.
Uspješno je kopirano u međuspremnik
Kopiranje u međuspremnik neuspjelo
Upozorenje: Ovi citati možda nisu uvijek 100% točni.