(2009). Verification, model checking, and abstract interpretation: 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 : proceedings / Neil D. Jones, Markus Müller-Olm (eds.).
Citazione stile Chigago Style (17a edizione)Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 : Proceedings / Neil D. Jones, Markus Müller-Olm (eds.). 2009.
Citatione MLA (9a ed.)Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 : Proceedings / Neil D. Jones, Markus Müller-Olm (eds.). 2009.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.