Prześlij oprogramowanie

Programy według www.techjava.de/projects/etla-plugin/

  • eTLA Wolna

    Wtyczka TLA+ Eclipse IDE. Integracja formalnego języka definicji "Temporal Logic of Actions" do określania systemów w Eclipse IDE