APA Citation

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

Chicago Style Citation

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

MLA Citation

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

Note: citation formatting may not correspond 100% to that defined by the respective standard, to manage citations it is recommended to use the software Zotero , which allows the automatic upload of Oasisbr references.