Geeks
hbgit
/
depthk
K-Induction adopting program invariants
Primary Language
Python
GNU General Public License v2.0
GPL-2.0
depthk GitHub
Markdown
Readme
4
Issues
8
Stargazers
3
Watchers
Watchers
hbgit
Boa Vista - RR
lucasccordeiro
The University of Manchester, UK
WilliameRocha
Federal University of Amazonas