( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Making Tezos smart contracts more reliable with Coq.

, , , , , и . CoRR, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Basile Sandris

Basile Kapsocavadis

Basile Hatziolos

Basile Psarianos

Basile Récatas

 

Другие публикации лиц с тем же именем

Verified Lustre Normalization with Node Subsampling., , , и . ACM Trans. Embed. Comput. Syst., 20 (5s): 98:1-98:25 (2021)Albert, An Intermediate Smart-Contract Language for the Tezos Blockchain., , , и . Financial Cryptography Workshops, том 12063 из Lecture Notes in Computer Science, стр. 584-598. Springer, (2020)Programming microcontrollers through high-level abstractions: The OMicroB project., , , и . J. Comput. Lang., (ноября 2023)Verified Compilation of Synchronous Dataflow with State Machines., , и . ACM Trans. Embed. Comput. Syst., 22 (5s): 137:1-137:26 (октября 2023)Making Tezos smart contracts more reliable with Coq., , , , , и . CoRR, (2021)Programming microcontrollers through high-level abstractions., , , и . VMIL@SPLASH, стр. 5-14. ACM, (2020)Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts., , , , и . FM Workshops (1), том 12232 из Lecture Notes in Computer Science, стр. 368-379. Springer, (2019)Making Tezos Smart Contracts More Reliable with Coq., , , , , и . ISoLA (3), том 12478 из Lecture Notes in Computer Science, стр. 60-72. Springer, (2020)