1
Assuntos:
“...Transformações de código...”
Verificação de sistemas de software baseada em transformações de código usando Bounded Model Checking
Tese
2
Assuntos:
“...Transformações de Código...”
Estratégias para exploração de sequências de transformações do compilador
Dissertação