Thomas Jensen Books

Where the Hell is Wacken? Where the Hell is Wacken?
Where the Hell is Wacken?
2027
Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
2026
Static Analysis Static Analysis
Static Analysis
2015