ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Wed 10 Apr 2019 10:30 - 11:00 at MOON - Fixed-point Logics Chair(s): Helmut Seidl