Programas por www.techjava.de/projects/etla-plugin/

Plugin IDE do Eclipse TLA+. Integração da linguagem de definição formal 'Lógica Temporal de Ações' para especificar sistemas no Eclipse IDE