Jhala, Ranjit
[HerausgeberIn];
Schmidt, David
[Sonstige Person, Familie und Körperschaft]
;
VMCAI 12 2011 Austin, Tex
Verification, model checking, and abstract interpretation
: 12th international conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 ; proceedings
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
Buch;
Konferenzbericht
Titel:
Verification, model checking, and abstract interpretation
:
12th international conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 ; proceedings