Communication Dans Un Congrès
Année : 2020
Sylvain Conchon : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03476695
Soumis le : lundi 13 décembre 2021-10:19:33
Dernière modification le : lundi 22 avril 2024-21:41:46
Dates et versions
Licence
Identifiants
- HAL Id : hal-03476695 , version 1
- DOI : 10.1007/978-3-030-54994-7_23
Citer
Sylvain Conchon, Alexandrina Korneva, Fatiha Zaïdi. Verifying Smart Contracts with Cubicle. FM 2019 International Workshops, Oct 2019, Porto, Portugal. pp.312-324, ⟨10.1007/978-3-030-54994-7_23⟩. ⟨hal-03476695⟩
Collections
15
Consultations
0
Téléchargements