Formal methods and software engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008 : Kitakyushu-City, Japan, October 27-31, 2008 : proceedings - Liu, Shaoying; Maibaum, Thomas S. E., 1947-; Araki, Keijiro, 1954- (Lecture notes in computer science ;, 2008)