Search

You searched for: Auteur Jones, Neil D. Remove constraint Auteur: Jones, Neil D.
1 entry found
Number of results to display per page

Search Results

1. Verification, Model Checking, and Abstract Interpretation
thumbnail
Full text!
Author:
Jones, Neil D.; Müller-Olm, Markus
Publisher:
Springer Berlin Heidelberg 2009
Format:
e-book