README.md · 88139a7516cee149c619dd7b4738fe7bd3d94efb · Formal Methods and Tools / GROOVE tool for graph transformation and verification / GROOVE code · GitLab

Skip to content

GitLab

Explore

Sign in

code
README.md

Blame History Permalink

Update README.md · 88139a75
Rensink authored Mar 18, 2024
```
Included INSTALL.txt in README
```
88139a75

Loading