Formal methods and software engineering：10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings

Corporate Authors: International Conference on Formal Engineering Methods (10th 2008 Kitakyūshū-shi, Japan); SpringerLink (Online service)
Group Author: Maibaum Thomas S. E. 1947-; Araki Keijirō, 1954-; Liu Shaoying
Published: Springer,
Publication Dates: c2008.