Giters
AVTA
knotical
Geek Repo
Github PK Tool:
Github PK Tool
AVTA's repositories
knotical
Knotical: An Inference System of Trace Refinement Relations
Language:
HTML
License:
MIT
Stargazers:
3
Issues:
2
Issues:
0