Veja também

Defesa de Mestrado

SpecCompiler e Spec-IR: infraestrutura de compilação para análise e transformação de especificações textuais

20/10/2026 - 14:00

Autor
Cristiano Carvalho Lacerda

Local
3-002

Orientado por: José Carlos Maldonado.

Defesa de Mestrado em Ciências de Computação e Matemática Computacional.

UNIVERSIDADE DE SÃO PAULO
INSTITUTO DE CIÊNCIAS MATEMÁTICAS E DE COMPUTAÇÃO
Avenida Trabalhador São-carlense, 400 - Centro
CEP: 13566-590 - São Carlos - SP

TELEFONE:
+55 (16) 3373-9700
Lista Telefônica

Veja também

Defesa de Mestrado

SpecCompiler e Spec-IR: infraestrutura de compilação para análise e transformação de especificações textuais

CONECTE-SE COM A GENTE