Universidade de Brasília Campus Universitário Darcy Ribeiro Departamento de Matemática Brasília - DF 70910-900, Brasil dnantes[at]unb.br
Development of rewrite-based frameworks for the specification, analysis and verification of complex systems.
Check the group developments in the nominal page.
Main Topics: