Browse by all authors Browse By Author Name - Dong,+Jon+Song

Browse Results (1 results found)

Subscribe to the RSS feed for this result setSubscribe to the RSS feed for this result set

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Dong, Jon Song, Li, Yuan Fang, Sun, Jing, Sun, Jun and Wang, Hai (2002). XML-based static type checking and dynamic visualization for TCOZ. In: Chris George and Huaikou Miao, Lecture Notes in Computer Science. Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Proceedings. International Conference on Formal Engineering Methods [FEM], Shanghai, China, (311-322). 21-25 October 2002. doi:10.1007/3-540-36103-0 47   0 0