Research fellow, Formal methods and Software Engineering
-
Politecnico di Milano
- Milano, Italy
- https://matteocamilli.github.io
Highlights
- Pro
Pinned Loading
-
github-classroom-utils
github-classroom-utils PublicA set of command-line tools for GitHub Classroom
Shell
-
SELab-unimi/conductor2pn
SELab-unimi/conductor2pn PublicCreate TB Petri net models from Conductor blueprints
Java 3
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.