Cita APA

(2010). Automated technology for verification and analysis: 8th International Symposium, ATVA 2010, Singapore, september 21-24, 2010. Proceedings.

Citación estilo Chicago

Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings. 2010.

Cita MLA

Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings. 2010.

Precaución: Estas citas no son 100% exactas.