Details

Autor(en) / Beteiligte

• Hutchison, David
• Jones, Neil D
• Kanade, Takeo
• Kittler, Josef
• Kleinberg, Jon M
• Mattern, Friedemann
• Mitchell, John C
• Müller-Olm, Markus
• Naor, Moni
• Nierstrasz, Oscar
• Pandu Rangan, C
• Steffen, Bernhard
• Sudan, Madhu
• Terzopoulos, Demetri
• Tygar, Doug
• Vardi, Moshe Y
• Weikum, Gerhard

Titel

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

Ort / Verlag

Berlin, Heidelberg : Springer Berlin Heidelberg

Erscheinungsjahr

2009