Programmi di www.techjava.de/projects/etla-plugin/

Plug-in IDE DI TLA+ Eclipse. Integrazione del linguaggio di definizione formale 'Temporal Logic of Actions' per specificare i sistemi in Eclipse IDE