Filter your results
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
Formal Simulation and Verification of Solidity contracts in Event-B45th 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
|