Contato

Universidade de Brasília
Campus Universitário Darcy Ribeiro
Departamento de Matemática
Brasília - DF
70910-900, Brasil
dnantes[at]unb.br

Daniele Nantes

Research Interests

Development of rewrite-based frameworks for the specification, analysis and verification of complex systems.

Check the group developments in the nominal page.

Main Topics: