Login / Signup
Zhenlei Hu
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 2
Top Topics
Mutual Information
Image Sequences
Databases
Conceptual Framework
Top Venues
CoRR
FM Workshops (1)
</>
Publications
</>
Bruno Bernardo
,
Raphaël Cauderlier
,
Zhenlei Hu
,
Basile Pesin
,
Julien Tesson
Mi-Cho-Coq, a framework for certifying Tezos Smart Contracts.
CoRR
(2019)
Bruno Bernardo
,
Raphaël Cauderlier
,
Zhenlei Hu
,
Basile Pesin
,
Julien Tesson
Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts.
FM Workshops (1)
(2019)