( en | de | ru )

 

Disambiguierung von "Bernardo, Bruno"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Making Tezos smart contracts more reliable with Coq.

, , , , , und . CoRR, (2021)

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.

Bernardo

Bernardo Fritzsche

Sergio Bernardo

Horst Bruno

Horst Bruno

 

Weitere Publikationen von Autoren mit dem selben Namen

The Implicit Calculus of Constructions as a Programming Language with Dependent Types., und . FoSSaCS, Volume 4962 von Lecture Notes in Computer Science, Seite 365-379. Springer, (2008)Albert, An Intermediate Smart-Contract Language for the Tezos Blockchain., , , und . Financial Cryptography Workshops, Volume 12063 von Lecture Notes in Computer Science, Seite 584-598. Springer, (2020)Making Tezos Smart Contracts More Reliable with Coq., , , , , und . ISoLA (3), Volume 12478 von Lecture Notes in Computer Science, Seite 60-72. Springer, (2020)Un Calcul des Constructions implicite avec sommes dépendantes et à inférence de type décidable. (An implicit Calculus of Constructions with dependent sums and decidable type inference).. École Polytechnique, Palaiseau, France, (2015)Making Tezos smart contracts more reliable with Coq., , , , , und . CoRR, (2021)Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts., , , , und . FM Workshops (1), Volume 12232 von Lecture Notes in Computer Science, Seite 368-379. Springer, (2019)