Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Shaoying Liu, T. S. E. Maibaum, Keijiro Araki, editors, Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings. Volume 5256 of Lecture Notes in Computer Science, Springer, 2008.

Conference: icfem2008

This author has not been identified. Look up 'Shaoying Liu' in GoogleThis author has not been identified. Look up 'T. S. E. Maibaum' in GoogleThis author has not been identified. Look up 'Keijiro Araki' in Google

runs on WebDSL