Software engineering and formal methods : 13th international conference, SEFM 2015, York, UK, September 7 - 11, 2015 ; proceedings / Radu Calinescu ...

(eds.)