%0 Thesis
%T BMCLua: Metodologia para Verificação de Códigos Lua utilizando Bounded Model Checking
%U http://tede.ufam.edu.br/handle/tede/4539
%I Universidade Federal do Amazonas