Jijun Ming

According to our database, Jijun Ming authored at least 1 paper in 2001.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2001

Z User Studio: An Integrated Support Tool for Z Specifications.

Huaikou Miao, Ling Liu, Chuanjiang Yu, Jijun Ming, Li Li

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001