Carlos Andreazza Rego Andrade

Áreas De Investigação

• Ciência da Computação
• Engenharia de Software
• Linguagens de Programação
• Métodos Formais