Verification, Model Checking, and Abstract Interpretation

Format:: e-book
Title:: Verification, Model Checking, and Abstract Interpretation
Author:: Jones, Neil D.; Müller-Olm, Markus
Language:: English
Publisher:: Springer Berlin Heidelberg 2009
ISBN:: 3-540-93899-0
3-540-93900-8
Permalink:: http://bibtest.howest.be/catalog/ebk03:1000000000545922?locale=en