ZhuoHan Li

ZL

Statistics

Publications

1

Citations

600

H-Index

1

Active since

2006

ZhuoHan Li is an author at University of Illinois Urbana-Champaign specializing in formal verification, system software, and engineering.

Publications per year

2006–2006

1

Publications

1