MPC 2019: 13TH INTERNATIONAL CONFERENCE ON MATHEMATICS OF PROGRAM CONSTRUCTION
Tom Schrijvers
Organization: Katholieke Universiteit Leuven
Web page: http://people.cs.kuleuven.be/~tom.schrijvers
Pages in this Program
Program
Program for Monday, October 7th