%0 Thesis
%T Veri?ca??o de sistemas de software baseada em transforma??es de c?digo usando Bounded Model Checking
%U http://tede.ufam.edu.br/handle/tede/4752
%I Universidade Federal do Amazonas