Verification, model checking, and abstract interpretation [E-Book] : 9th international conference, San Francisco, USA January 7-9, 2008 : VMCAI 2008 : proceedings / ed. by Franceso Logozzo ...
Logozzo, Francesco, (editor)
Berlin : Springer, 2008
online resource
englisch
9783540781622
Lecture notes in computer science ; 4905
Full Text
Description not available.