Lemor Jr., Luiz Carlos

• Revista de Informática Teórica e Aplicada Vol. 22 No. 1 (2015) - Melhores Artigos WEIT-2013
  Proof Tactics for Theorem Proving Graph Grammars through Rodin
  Abstract  PDF