FM 2014: Formal methods : 19th international symposium, Singapore, May 12 - 16, 2014 ; proceedings / Cliff Jones ...

(eds.)