APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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

Warning: These citations may not always be 100% accurate.