Shaoying Liu

Showing the single result

[PDF] Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings Takuya Katayama (auth.), Shaoying Liu, Tom Maibaum, Keijiro Araki (eds.)