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