Yiming Cao

YC

Statistics

Publications

5

Citations

88

H-Index

5

Active since

2006

Yiming Cao is an author at University of Hong Kong specializing in engineering, formal verification, and formal methods.

Publications per year

2006–2020

5

Publications

5