NTI - Université de La Réunion
Logiciel Année : 2007

NTI

Résumé

NTI (Non-Termination Inference) is a non-termination prover for term-rewriting systems and logic programs.
53 Consultations
0 Téléchargements

Partager

More