Lau, Kung-Kiu
[HerausgeberIn];
Banach, Richard
[Sonstige Person, Familie und Körperschaft]
;
International Conference on Formal Engineering Methods 7 2005 Manchester
Formal methods and software engineering
: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 - 4, 2005 ; proceedings