Book Sections
Year : 2020
Sylvain Conchon : Connect in order to contact the contributor
https://inria.hal.science/hal-03476695
Submitted on : Monday, December 13, 2021-10:19:33 AM
Last modification on : Thursday, October 19, 2023-12:25:22 PM
Cite
Sylvain Conchon, Alexandrina Korneva, Fatiha Zaïdi. Verifying Smart Contracts with Cubicle. Formal Methods. FM 2019 International Workshops, 12232, Springer International Publishing, pp.312-324, 2020, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-54994-7_23⟩. ⟨hal-03476695⟩
Collections
13
View
0
Download