FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings - International Symposium on Formal Methods 2008 : Turku, Finland); Cuellar, Jorge; Maibaum, Tom.; Sere, Kaisa; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008)
Keywords: Computer software -- Development -- Congresses; Formal methods(Computer science) -- Congresses; System design -- Mathematics -- Congresses