Sebastian Wolff

• Der Abstand
• Guard Dog Training Log
• Verification, Model Checking, and Abstract Interpretation