Cita APA

(2011). Verification, model checking, and abstract interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings / Ranjit Jhala, David Schmidt (eds.).

Citación estilo Chicago

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : Proceedings / Ranjit Jhala, David Schmidt (eds.). 2011.

Cita MLA

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : Proceedings / Ranjit Jhala, David Schmidt (eds.). 2011.