FM 2008：formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings

Corporate Authors: International Symposium of Formal Methods Europe (15th 2008 Turku, Finland); SpringerLink (Online service)
Group Author: Sere K.; (Kaisa), 1954-; Cuellar Jorge.; Maibaum Thomas S. E. 1947-
Published: Springer,
Publication Dates: c2008.