Open Access
08 - Verificação formal de sistemas digitais embarcados
SILVA, Nayara de Souza ; COSTA, Vaston Gonçalves da ; Stoppa, Marcelo Henrique
Tecnologias em pesquisa: engenharias, april 2017, num. 1
PDF - p.121-134