Grupo de Verificação, Validação e Teste de Sistemas Computacionais
Results
1
repositories owned by
Grupo de Verificação, Validação e Teste de Sistemas Computacionais
verigraph
37
Stars
4
Forks
Watchers
Software specification and verification system based on graph rewriting
