Mauri José Klein
![photo photo](http://gca.unijui.edu.br/Portal/app/sprinkles/members/src/Database/Files/84f8b88f1916aa3966f8fa57bb2d8554.jpeg)
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