13th International Conference on integrated Formal Methods (iFM 2017)

INVITED SPEAKERS

Jane Hillston (University of Edinburgh, UK)
André Platzer (CMU, USA)
Matrin Vechev (ETH Zurich, Switzerland)