Non abbiamo ancora una biografia di Andreas Podelski.
Pubblicato in Inglese
Verification, Model Checking, and Abstract Interpretation
2007
Tools and Algorithms for the Construction and Analysis of Systems
2004
Static Analysis
2018
Networked Systems
2019
Constraint programming
1995
Constraint Programming: Basics and Trends
Otium
