Geeks
birkhoff
/
prob
The ProB Model Checker and Animator
Primary Language
Java
prob Home Page
prob GitHub
Markdown
Readme
0
Issues
1
Stargazer
2
Watchers
Stargazers
birkhoff
Düsseldorf