Skip to content
GitLab
Explore
Sign in
Andrea Franchini
@andreafranchini
Activity
View all
Loading
There was an error loading users activity calendar.
Retry
Loading
Loading
About
Lead and Maintainer of the DOML Model Checker
Info
Research Fellow
at
Politecnico di Milano
6:53 AM
Member since January 16, 2023
Contact
andrea.franchini@polimi.it
andreafranchini
