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
Citations:6 - 3 self