Minimal Static Single Assignment Form
by Max Wagner and Denis Lohner
Denis Lohner
2017
2016
The meta theory of the Incredible Proof Machine
by Joachim Breitner and Denis Lohner
Verified Construction of Static Single Assignment Form
by Sebastian Ullrich and Denis Lohner