Dong, Jin Song
[HerausgeberIn];
Zhu, Huibiao
[Sonstige Person, Familie und Körperschaft]
;
International Conference on Formal Engineering Methods 12 2010 Schanghai
Formal methods and software engineering
: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 ; proceedings