Carloto, C. J. A. D. d. S. (2015). Towards a formally verified microkernel using the Frama-C toolset.
Citação do estilo Chicago (17ª ed.)Carloto, Carlos José Abreu Dias da Silva. Towards a Formally Verified Microkernel Using the Frama-C Toolset. 2015.
Citação MLA (8ª ed.)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.