Search

You searched for: Auteur Podelski Remove constraint Auteur: Podelski
1 - 4 of 4
Number of results to display per page

Search Results

1. Static Analysis
thumbnail
Full text!
Author:
Podelski
Publisher:
Springer International Publishing 2018
Format:
e-book
2. Networked Systems
thumbnail
Full text!
Author:
Podelski; Taïani, François
Publisher:
Springer International Publishing 2019
Format:
e-book
3. Verification, Model Checking, and Abstract Interpretation
thumbnail
Full text!
Author:
Cook, Byron; Kanade, Takeo; Podelski, Andreas; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2007
Format:
e-book
4. Verified Software: Theories, Tools, Experiments
thumbnail
Full text!
Author:
Hutchison, David; Kanade, Takeo; Müller, Peter; Podelski, Andreas
Publisher:
Springer Berlin Heidelberg 2012
Format:
e-book