Vieira, Lucas, Universidade Estadual do Ceará, Brazil

• Revista Eletrônica de Iniciação Científica em Computação v. 15 n. 1 (2017): Revista Eletrônica de Iniciação Científica - Engenharia de Software
  LoTuS: uma Ferramenta Gráfica Extensível para Modelagem, Análise e Verificação de Modelos LTS e PLTS
  Resumo  PDF