Citação norma APA

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

Citação norma Chicago

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

Citação norma MLA

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

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