Цитирование APA (7-е изд.)
Doron A. Peled, Y. T. Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings. Springer.
Цитирование в стиле Чикаго (17-е изд.)
Doron A. Peled, Yih-Kuen Tsay. Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings. Berlín, Alemania: Springer.
Цитирование MLA (9-е изд.)
Doron A. Peled, Yih-Kuen Tsay. Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings. Springer.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.