Thomas Jensen

Books
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

Audiobooks
Abenteurer unserer Zeit, Graf Zeppelin Abenteurer unserer Zeit, Graf Zeppelin
Abenteurer unserer Zeit, Graf Zeppelin
2019
Abenteurer unserer Zeit, Roald Amundsen Abenteurer unserer Zeit, Roald Amundsen
Abenteurer unserer Zeit, Roald Amundsen
2019