Skip to content
GitLab
Explore
Sign in
Formal Methods and Tools
GROOVE tool for graph transformation and verification
GROOVE code
Repository
code
README.md
Find file
Blame
History
Permalink
Update README.md
· 88139a75
Rensink, Arend (UT-EEMCS)
authored
Mar 18, 2024
Included INSTALL.txt in README
88139a75