Statistics
Publications
1
Citations
10
H-Index
1
Active since
2015
Affiliations
TU Wien(Current)
Liuzhen Wu is an author at TU Wien specializing in formal verification, program analysis, and automated reasoning.
Publications per year
2015–2015
1
1
1–1 of 1