Paganoni, M., & Furia, C. A. (2024). Verifying Functional Correctness Properties At the Level of Java Bytecode.
Cita Chicago Style (17a ed.)Paganoni, Marco, y Carlo A. Furia. Verifying Functional Correctness Properties At the Level of Java Bytecode. 2024.
Cita MLA (9a ed.)Paganoni, Marco, y Carlo A. Furia. Verifying Functional Correctness Properties At the Level of Java Bytecode. 2024.
Precaución: Estas citas no son 100% exactas.