Стиль цитування APA (7-ме видання)
Kedar S. Namjoshi, T. Y. Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings. Springer.
Чикаго стиль цитування (17-те видання)
Kedar S. Namjoshi, Tomohiro Yoneda. Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings. Berlín, Alemania: Springer.
Стиль цитування MLA (9-ме видання)
Kedar S. Namjoshi, Tomohiro Yoneda. Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings. Springer.
Попередження: стилі цитування не завжди правильні на всі 100%.