![Nian-Ze Lee](https://conf.researchr.org/getProfileImage/nianzelee/38c58343-be52-4da5-b2c7-fa37d3d8d34a/small.jpg?1711784325000)
Registered user since Mon 4 Sep 2023
Name:Nian-Ze Lee
Country:Germany
Affiliation:LMU Munich
Personal website: https://nianzelee.github.io/
Research interests:Formal Methods, Model Checking, Program Analysis, EDA
Contributions
Using general profile
Registered user since Mon 4 Sep 2023
Contributions