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

Audiobooks
Seth – en krigermunk bag tremmer Seth – en krigermunk bag tremmer
Seth – en krigermunk bag tremmer
2015
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