FM 2008 formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings / - Cuellar, Jorge.; Maibaum, Thomas S. E.,; Sere, K. (Springer,)