Verification, model checking, and abstract interpretation: 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 ; proceedings

Media type: Book; Conference Proceedings
Title: Verification, model checking, and abstract interpretation : 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 ; proceedings
Contributor: Barthe, Gilles [Editor]; Hermenegildo, Manuel [Other]
Event: VMCAI
Published: Berlin; Heidelberg [u.a.]: Springer, 2010
Published in: Lecture notes in computer science ; 5944
Extent: X, 395 S.; graph. Darst; 235 mm x 155 mm
Language: English
ISBN: 3642113184; 9783642113185
Publisher, production or purchase order numbers: Sonstige Nummer: 12829729
RVK notation: SS 4800 : Lecture notes in computer science
Keywords: Programmanalyse
Programmverifikation
Model Checking
Abstrakte Interpretation
Formale Methode
Origination:
Footnote: Literaturangaben

Verification, model checking, and abstract interpretation