Citação norma APA

Costa, U. S. d. (2019). Um verificador de modelos explícito-simbólico.

Citação norma Chicago

Costa, Umberto Souza da. Um Verificador De Modelos Explícito-simbólico. 2019.

Citação norma MLA

Costa, Umberto Souza da. Um Verificador De Modelos Explícito-simbólico. 2019.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.