IFM 2019: 15TH INTERNATIONAL CONFERENCE ON INTEGRATED FORMAL METHODS
Alexander Schieweck
Organization: Lero - The Irish Software Research Centre
Web page: https://www.lero.ie/people/alexander-schieweck
Pages in this Program
Program
Program for Wednesday, December 4th