%0 Thesis %T Verificação e comprovação de erros em códigos C usando bounded model checker %U http://tede.ufam.edu.br/handle/tede/2965 %I Universidade Federal do Amazonas