%0 Thesis
%T Geração de casos de teste usando Bounded Model Checking
%U https://tede.ufam.edu.br/handle/tede/8447
%I Universidade Federal do Amazonas