ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Tue 9 Apr 2019 14:00 - 14:30 at MOON - Resource Logics Chair(s): Andrew Pitts

Tue 9 Apr