Zhenlei Hu

According to our database, Zhenlei Hu authored at least 1 paper in 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts.

Bruno Bernardo, Raphaël Cauderlier, Zhenlei Hu, Basile Pesin, Julien Tesson

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019