Zobrazeno 1 - 10
of 59
pro vyhledávání: '"Horta, Luís"'
This paper introduces WhylSon, a deductive verification tool for smart contracts written in Michelson, which is the low-level language of the Tezos blockchain. WhylSon accepts a formally specified Michelson contract and automatically translates it to
Externí odkaz:
http://arxiv.org/abs/2005.14650
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Quaternary International 10 August 2022 628:18-27
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Quaternary International 10 April 2019 512:45-51
Autor:
Horta, Luis R., Marcos, María A., Sacchi, Mariana, Bozzuto, Damián L., Georgieff, Sergio M., Mancini, María V., Civalero, Maria T.
Publikováno v:
In Palaeogeography, Palaeoclimatology, Palaeoecology 15 February 2019 516:44-53
Publikováno v:
In Quaternary International 29 April 2017 436 Part A:8-15
Publikováno v:
In Palaeogeography, Palaeoclimatology, Palaeoecology 1 May 2016 449:541-552
Publikováno v:
In Quaternary International 7 August 2015 377:91-101