search

Verites / verigraph

Software specification and verification system based on graph rewriting
https://verites.github.io/verigraph/
Apache License 2.0
37 stars 4 forks source link

Test ticket from Code Climate #30

Closed lm-rodrigues closed 7 years ago