Qin, Shengchao
[HerausgeberIn];
Qiu, Zongyan
[Sonstige Person, Familie und Körperschaft]
;
International Conference on Formal Engineering Methods 13 2011 Durham
Formal methods and software engineering
: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011 ; proceedings