FM 2014 Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings / - Jones, Cliff. (Springer International Publishing,)