Autor der Publikation

IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain.

, , , , , , , , und . FM, Volume 11800 von Lecture Notes in Computer Science, Seite 593-610. Springer, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Program Verification by Coinduction., , und . ESOP, Volume 10801 von Lecture Notes in Computer Science, Seite 589-618. Springer, (2018)Thread contracts for safe parallelism., , und . PPoPP, Seite 125-134. ACM, (2011)KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine., , , , , , , , , und 1 andere Autor(en). CSF, Seite 204-217. IEEE Computer Society, (2018)Coinductive program verification. University of Illinois Urbana-Champaign, USA, (2016)IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain., , , , , , , , und . FM, Volume 11800 von Lecture Notes in Computer Science, Seite 593-610. Springer, (2019)Towards a Verified Model of the Algorand Consensus Protocol in Coq., , , , , , und . FM Workshops (1), Volume 12232 von Lecture Notes in Computer Science, Seite 362-367. Springer, (2019)