A formally verified compiler back-end (2009)

by X Leroy
Venue:Journal of Automated Reasoning