Benjamin Egelund-Müller

Publication Activity (10 Years)

Years Active: 2016-2017
Publications (10 Years): 2

Top Topics

Domain Knowledge

Social Networks

Top Venues

Bus. Inf. Syst. Eng.

Theory and Practice of Formal Methods

Publications

Benjamin Egelund-Müller, Martin Elsman, Fritz Henglein, Omri Ross
Automated Execution of Financial Contracts on Blockchains. Bus. Inf. Syst. Eng. 59 (6) (2017)
Razvan Certezeanu, Sophia Drossopoulou, Benjamin Egelund-Müller, K. Rustan M. Leino, Sinduran Sivarajan, Mark J. Wheelhouse
Quicksort Revisited - Verifying Alternative Versions of Quicksort. Theory and Practice of Formal Methods (2016)