ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Thu 11 Apr 2019 16:30 - 17:00 at SUN II - Verification (continued) Chair(s): Mikolaj Bojanczyk

Thu 11 Apr

fossacs-2019-papers
16:30 - 17:00: FOSSACS 2019 - Verification (continued) at SUN II
Chair(s): Mikolaj BojanczykUniversity of Warsaw
fossacs-2019-papers16:30 - 17:00
Talk
Mnacho Echenim, Radu IosifVERIMAG, CNRS, Université Grenoble-Alpes, Nicolas Peltier
Link to publication