Programmes par www.techjava.de/projects/etla-plugin/

Plugin TLA+ Eclipse IDE. Intégration du langage de définition formel « Temporal Logic of Actions » pour spécifier les systèmes dans Eclipse IDE