Search

You searched for: Auteur Leino, K. Rustan M. Remove constraint Auteur: Leino, K. Rustan M.
1 - 4 of 4
Number of results to display per page

Search Results

1. Computer Aided Verification
thumbnail
Full text!
Author:
Silva, Alexandra; Leino, K. Rustan M.
Publisher:
Springer International Publishing 2021
Format:
e-book
2. Computer Aided Verification
thumbnail
Full text!
Author:
Silva, Alexandra; Leino, K. Rustan M.
Publisher:
Springer International Publishing 2021
Format:
e-book
3. 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
4. Tools and Algorithms for the Construction and Analysis of Systems
thumbnail
Full text!
Author:
Abdulla, Parosh Aziz; Kanade, Takeo; Leino, K. Rustan M.; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2011
Format:
e-book