Outros Autores: “...http://lattes.cnpq.br/8935199769991902...”

Verificação de Programas Embarcados ANSI-C baseada em indução Matemática e Invariantes