Search - IRIT - Institut de Recherche en Informatique de Toulouse Access content directly

Filter your results

1 Résultat
authFullName_s : Jian Zhu

Formal Simulation and Verification of Solidity contracts in Event-B

Jian Zhu , Kai Hu , Jean-Paul Bodeveix , M Filali , Jean-Pierre Talpin , et al.
45th IEEE Annual Computers, Software, and Applications Conference (COMPSAC 2021), IEEE, Jul 2021, Madrid, Spain. pp.1309-1314, ⟨10.1109/COMPSAC51774.2021.00183⟩
Conference papers hal-03411229v1