Jorge Cuéllar T. S. E. Maibaum Kaisa Sere FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings 5014 2008 978-3-540-68235-6 FM Lecture Notes in Computer Science Springer db/conf/fm/fm2008.html