DMCA

A formally verified compiler backend (2008)

by Xavier Leroy
Citations:104 - 14 self