Jijun Ming

	2001
1		Huaikou Miao, Ling Liu, Chuanjiang Yu, Jijun Ming, Li Li: Z User Studio: An Integrated Support Tool for Z Specifications. APSEC 2001: 437-444

Coauthor Index

1	Li Li	[1]
2	Ling Liu	[1]
3	Huaikou Miao	[1]
4	Chuanjiang Yu	[1]