A formally verified compiler back-end (0)

by X Leroy
Venue:Journal of Automated Reasoning