TRAG

Description
TRAG: Term Rewriting Automata and Graphs
Domaines d'utilisation
formal methods
Contributeurs LaBRI
Irène Durand, Bruno Courcelle, Michael Raskin
Dépôt du code source
https://bitbucket.org/idurand/trag
Licence(s) de distribution
CeCILL-C
OS supportés
Linux, MacOS
Plus d'informations
https://trag.labri.fr

Précédent