SILVA, Luciano Alexandre de Farias. Geração automática de hardware concorrente verificado. Orientador: Marcel Vinícius Medeiros Oliveira. 2022. 80f. Dissertação (Mestrado em Sistemas e Computação) - Centro de Ciências Exatas e da Terra, Universidade Federal do Rio Grande do Norte, Natal, 2022.

https://repositorio.ufrn.br/handle/123456789/49484

http://repositorioslatinoamericanos.uchile.cl/handle/2250/3970166