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.