POPL 2017
Sun 15 - Sat 21 January 2017
Sun 15 Jan 2017 10:40 - 10:50 at Salle 109, Barre 44-54 - Session II
Can relational logic facilitate secure compilation? (scm17.pdf)90KiB

Sun 15 Jan
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change