A formally verified compiler backend (2008)

by Xavier Leroy
Citations:54 - 10 self