Verification, Model Checking, and Abstract Interpretation
Subtitle: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings
By: edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Neil D. Jones, Markus Müller-Olm
Contributors: Vardi, Moshe Y.; Terzopoulos, Demetri; Kanade, Takeo; Weikum, Gerhard; Steffen, Bernhard; Sudan, Madhu; 1955-; Jones, Neil D.; Tygar, J.D.; Müller-Olm, Markus; Kittler, Josef, 1946-; Naor, Moni, 1961-; Mitchell, John C.; Mattern, Friedemann; Kleinberg, Jon; Nierstrasz, Oscar Marius, 1957-; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 5403
Publisher: Springer Berlin Heidelberg
Published: 2009
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783540938996; 9783540939009
Subjects: Logic design; Computer science; Software engineering