1
Assuntos:
“...Verificação de Software...”
Verificação de Programas Embarcados ANSI-C baseada em indução Matemática e Invariantes
Dissertação