Følg
Benjamin Egelund-Müller
Benjamin Egelund-Müller
University of Copenhagen
Verificeret mail på alumni.ku.dk
Titel
Citeret af
Citeret af
År
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
1622017
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
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Artikler 1–2