Yujun Zheng
This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.
Bibliography
2023
2018
Proceedings of the Formal Methods and Software Engineering, 2018
2010
Proceedings of the New Horizons in Web-Based Learning - ICWL 2010 Workshops, 2010
2007
Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic approach.
J. Digit. Inf. Manag., 2007