Denis Lohner

Homepages 🌐

• http://pp.ipd.kit.edu/person.php?id=88

Entries

2017

Minimal Static Single Assignment Form

by Max Wagner 📧 and Denis Lohner 🌐

Jan 17

2016

The meta theory of the Incredible Proof Machine

by Joachim Breitner 🌐 and Denis Lohner 🌐

May 20

Verified Construction of Static Single Assignment Form

by Sebastian Ullrich 📧 and Denis Lohner 🌐

Feb 05