Jinyun Xue
Identifiers
- Open LibraryOL7877549A
Books by Jinyun Xue
Total count: 3
-
Frontiers in AlgorithmicsThird International Workshop, FAW 2009, Hefei, China, June 20-23, 2009, ProceedingsSpringer London, Limited2009-01-01
-
Formal Aspects of Component Software10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected PapersSpringer London, Limited2014-01-01
-
Structured Object-Oriented Formal Language and Method10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected PapersSpringer International Publishing AG2021-01-01