Monniaux, D. (2024). Pragmatics of Formally Verified Yet Efficient Static Analysis, in particular for Formally Verified Compilers.
Cita Chicago Style (17a ed.)Monniaux, David. Pragmatics of Formally Verified Yet Efficient Static Analysis, in Particular for Formally Verified Compilers. 2024.
Cita MLA (9a ed.)Monniaux, David. Pragmatics of Formally Verified Yet Efficient Static Analysis, in Particular for Formally Verified Compilers. 2024.
Precaución: Estas citas no son 100% exactas.