J. Hooman
发表
J. Hooman,
2002
.
J. Hooman,
R. Kuiper,
P. Zhou,
1991,
Proceedings of the Sixth International Workshop on Software Specification and Design.