Browsing by Author "Keuchel, Steven"
Now showing 1 - 1 of 1
- Results Per Page
- Sort Options
Publication Modular, fully-abstract compilation by approximate back-translation
;Devriese, Dominique ;Patrignani, Marco ;Piessens, FrankKeuchel, StevenJournal article2017, Logical Methods in Computer Science, (13) 4, p.lmcs:3230