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
FSE 2024-profile
View general profile
View general profile