Kuncak, Viktor
[HerausgeberIn];
Rybalchenko, Andrey
[Sonstige Person, Familie und Körperschaft]
;
VMCAI 13 2012 Philadelphia, Pa
Verification, model checking, and abstract interpretation
: 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22 - 24, 2012 ; 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
:
13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22 - 24, 2012 ; proceedings