Silva, Luciano, E 		Oliveira, Marcel.
" Automatic Generation of Verified Concurrent Hardware Using VHDL" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (6 dezembro 2022)