Thomas Jensen

Where the Hell is Wacken?

٢٠٢٧

Verification, Model Checking, and Abstract Interpretation

٢٠٢٦

Static Analysis

٢٠١٥

Abenteurer unserer Zeit, Graf Zeppelin

٢٠١٩

Abenteurer unserer Zeit, Roald Amundsen

٢٠١٩