Referência de acordo com a norma APA

Tameirão, A. D. L. d. O., Song, M. A. J., & 2015-04-22. (2015). Verificação simbólica de modelos aplicada a diagramas de temporização.

Referência de acordo com a norma Chicago

Tameirão, Amanda Danielle Lima de Oliveira, Mark Alan Junho Song, e 2015-04-22. Verificação Simbólica De Modelos Aplicada a Diagramas De Temporização. 2015.

Referência de acordo com a norma MLA

Tameirão, Amanda Danielle Lima de Oliveira, Mark Alan Junho Song, e 2015-04-22. Verificação Simbólica De Modelos Aplicada a Diagramas De Temporização. 2015.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma, para gerenciar as citações recomenda-se a utilização do software Zotero , que permite o upload automático das referências do Oasisbr.