Verification, Model Checking, and Abstract Interpretation : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

MLA

Jones, Neil, Markus Müller-Olm and SpringerLink (Online service). Verification, Model Checking, and Abstract Interpretation : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings. First edition 2009. Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.

APA

Jones, N., Müller-Olm, M. & SpringerLink (Online service). (2009). Verification, Model Checking, and Abstract Interpretation : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings. First edition 2009. Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer.

Chicago

Jones, Neil, Markus Müller-Olm and SpringerLink (Online service). Verification, Model Checking, and Abstract Interpretation : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings. Edited by Neil Jones and Markus Müller-Olm. First edition 2009. Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.