Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Tue 15 Jan 2019 14:40 - 15:05 at Sala VII - Algebra, Coalgebra, Model Checking Chair(s): Barbara König
Slides (hansen_opct2019.pdf)231KiB