Follow
Benjamin Egelund-Müller
Benjamin Egelund-Müller
University of Copenhagen
Verified email at alumni.ku.dk
Title
Cited by
Cited by
Year
Automated execution of financial contracts on blockchains
B Egelund-Müller, M Elsman, F Henglein, O Ross
Business & Information Systems Engineering 59, 457-467, 2017
1612017
Quicksort revisited: Verifying alternative versions of quicksort
R Certezeanu, S Drossopoulou, B Egelund-Muller, KRM Leino, ...
Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on …, 2016
92016
The system can't perform the operation now. Try again later.
Articles 1–2