XML-based Static Type Checking and Dynamic Visualization for TCOZ (2002)

by Jin Song Dong, Yuan Fang Li, Jing Sun, Jun Sun, Hai Wang
Venue:In 4th International Conference on Formal Engineering Methods