IFM 2019: 15TH INTERNATIONAL CONFERENCE ON INTEGRATED FORMAL METHODS
Juliana Küster Filipe Bowles
Organization: School of Computer Science, University of St Andrews
Web page: https://juliana.host.cs.st-andrews.ac.uk/
Pages in this Program
Program
Program for Thursday, December 5th