XML-based static type checking and dynamic visualization for TCOZ (2002)

by J Dong, Y Li, J Sun, J Sun, H Wang
Venue:in 4th International Conference on Formal Engineering Methods