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