Tag: TLA+ Toolbox

Posts do autor

Como instalar o TLA+ Toolbox no Linux!

Um ambiente de desenvolvimento integrado) para as ferramentas TLA+