Xinbei Tang
发表
Jim Woodcock,
Xinbei Tang,
J. Woodcock,
2004,
Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..
Jim Woodcock,
Xinbei Tang,
2004,
MPC.
Xinbei Tang,
2004
.