Cita APA (7th ed.)

(2009). Automated technology for verification and analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, proceedings / Zhiming Liu, Anders P. Ravn (eds.).

Cita Chicago (17th ed.)

Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings / Zhiming Liu, Anders P. Ravn (eds.). 2009.

Cita MLA (9th ed.)

Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings / Zhiming Liu, Anders P. Ravn (eds.). 2009.