Estudo e pesquisa de métodos de especificação formal executáveis e de geração de compiladores baseados em semântica formal.

Integrantes: Mariza Andrade da Silva Bigonha – Integrante / Vladimir O Di Iorio – Integrante / BIGONHA, Roberto S. – Coordenador.