D
enis
L
ohner
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