Liu, Shaoying
[HerausgeberIn];
Maibaum, Tom
[Sonstige Person, Familie und Körperschaft];
Araki, Keijiro
[Sonstige Person, Familie und Körperschaft]
;
International Conference on Formal Engineering Methods 10 2008 Kitakyūshū
Formal methods and software engineering
: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 ; proceedings