Chenyi Zhang
Scholar

Chenyi Zhang

Google Scholar ID: 0W4CUDoAAAAJ
University of Canterbury
Static program analysisSecurityFormal methods
Citations & Impact
All-time
Citations
777
 
H-index
15
 
i10-index
21
 
Publications
20
 
Co-authors
0