Referência de acordo com a norma APA

Carloto, C. J. A. D. d. S. (2010). Towards a formally verified microkernel using the Frama-C toolset.

Referência de acordo com a norma Chicago

Carloto, Carlos José Abreu Dias da Silva. Towards a Formally Verified Microkernel Using the Frama-C Toolset. 2010.

Referência de acordo com a norma MLA

Carloto, Carlos José Abreu Dias da Silva. Towards a Formally Verified Microkernel Using the Frama-C Toolset. 2010.

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.