Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Tue 15 Jan 2019 15:05 - 15:30 at Sala VII - Algebra, Coalgebra, Model Checking Chair(s): Barbara König