Search

You searched for: Auteur Barbara Jobstmann, K. Rustan M. Leino Remove constraint Auteur: Barbara Jobstmann, K. Rustan M. Leino
1 entry found
Number of results to display per page

Search Results

1. Verification, Model Checking, and Abstract Interpretation
thumbnail
Full text!
Author:
Barbara Jobstmann, K. Rustan M. Leino; Leino, K. Rustan M.
Publisher:
Springer Berlin Heidelberg 2016
Format:
e-book