Aurèle Barrière Books by the Author Previous slide in carousel Formal Verification of Just-in-Time Compilation Next slide in carousel