Benjamin Egelund-Müller

Automated Execution of Financial Contracts on Blockchains

Martin Elsman, Fritz Henglein, Omri Ross, 2017, Business & Information Systems Engineering.

Quicksort Revisited - Verifying Alternative Versions of Quicksort

Sophia Drossopoulou, K. Rustan M. Leino, Mark J. Wheelhouse, 2016, Theory and Practice of Formal Methods.