Referência de acordo com a norma APA

MEIRA, I. d. A. (2020). Validating, verifying and testing timed data-flow reactive systems in Coq from controlled natural-language requirements.

Referência de acordo com a norma Chicago

MEIRA, Igor de Araújo. Validating, Verifying and Testing Timed Data-flow Reactive Systems in Coq From Controlled Natural-language Requirements. 2020.

Referência de acordo com a norma MLA

MEIRA, Igor de Araújo. Validating, Verifying and Testing Timed Data-flow Reactive Systems in Coq From Controlled Natural-language Requirements. 2020.

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.