Kuncak, Viktor
[Editor];
Rybalchenko, Andrey
[Other]
;
VMCAI 13 2012 Philadelphia, Pa
Verification, model checking, and abstract interpretation
: 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22 - 24, 2012 ; proceedings
You can manage bookmarks using lists, please log in to your user account for this.
Media type:
Book;
Conference Proceedings
Title:
Verification, model checking, and abstract interpretation
:
13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22 - 24, 2012 ; proceedings