POPL 2017
Sun 15 - Sat 21 January 2017
Sun 15 Jan 2017 16:45 - 17:30 at Salle 109, Barre 44-54 - Session IV
Security preserving compilation of low-level programs embedded in F* (20160115 SCM.pptx)903KiB