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

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