We stand with Ukraine  

Haitao Cao

Affiliations:
  • Beihang University, State Key Laboratory of Software Development Environment, Beijing, China


According to our database1, Haitao Cao authored at least 1 paper in 2021.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2021
Formal Simulation and Verification of Solidity contracts in Event-B.
[BibTeX]
[DOI]
Jian Zhu
,
Kai Hu
,
Mamoun Filali
,
Jean-Paul Bodeveix
,
Jean-Pierre Talpin
,
Haitao Cao
Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021


  Loading...