We stand with Ukraine  

Haitao Wang

Orcid: 0000-0002-2277-2533

Affiliations:
  • Nanjing Audit University Jinshen College, School of Information Science and Engineering, Nanjing, China


According to our database1, Haitao Wang 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

Online presence:

On csauthors.net:

Bibliography

2021
Study of Isabelle/HOL on Formal Algorithm Analysis and Code Generation.
[BibTeX]
[DOI]
Haitao Wang
,
Lihua Song
IEEE Access, 2021


  Loading...