APA (7th ed.) Citation

Barrière, A. (2025). Formal Verification of Just-in-Time Compilation.

Chicago Style (17th ed.) Citation

Barrière, Aurèle. Formal Verification of Just-in-Time Compilation. 2025.

MLA (9th ed.) Citation

Barrière, Aurèle. Formal Verification of Just-in-Time Compilation. 2025.

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