FM 2008: Formal Methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - Cuellar, Jorge (Herausgeber); Maibaum, Tom (Herausgeber) (Programming and Software Engineering, 2008)