Mauri José Klein
Former MSc Student
Research: Formalização da Linguagem Guaraná DSL: Uma Abordagem Matemática para Especificação Formal da Sintaxe Abstrata Utilizando Notação Z
Advisor: Dr. Sandro Sawicki
Capes Taxa Scholarship
Join Date: 06/2013 ↦ Leave Date: 03/2015
Research: Formalização da Linguagem Guaraná DSL: Uma Abordagem Matemática para Especificação Formal da Sintaxe Abstrata Utilizando Notação Z
Advisor: Dr. Sandro Sawicki
Capes Taxa Scholarship
Join Date: 06/2013 ↦ Leave Date: 03/2015