Podelski, Andreas

Vis mig kun

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Podelski, Andreas

436,85 DKK

Static Analysis

Static Analysis

Podelski, Andreas

436,85 DKK

Verified Software: Theories, Tools, Experiments

Verified Software: Theories, Tools, Experiments

Podelski, Andreas

436,85 DKK

Static Analysis

Static Analysis

Podelski, Andreas

436,85 DKK

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Podelski, Andreas

875,33 DKK