Prati
Benjamin Egelund-Müller
Benjamin Egelund-Müller
University of Copenhagen
Potvrđena adresa e-pošte na alumni.ku.dk
Naslov
Citirano
Citirano
Godina
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
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–2