Buscas alternativas:
proving errors » writing errors (Expandir a busca)
Mostrando 1 - 1 resultados de 1 para a busca '"Proving errors"', tempo de busca: 0,07s

1

Assuntos: “...Proving errors...”

Verificação e comprovação de erros em códigos C usando bounded model checker

Publicado em 2011
Acessar documento
Dissertação