Chuanjiang Yu

	2001
2		Huaikou Miao, Ling Liu, Chuanjiang Yu, Jijun Ming, Li Li: Z User Studio: An Integrated Support Tool for Z Specifications. APSEC 2001: 437-444
	2000
1		Huaikou Miao, Chuanjiang Yu, Li Li: A Formalized Abstract Component Object Mode - Z-COM. TOOLS (36) 2000: 250-259

Coauthor Index

1	Li Li	[1] [2]
2	Ling Liu	[2]
3	Huaikou Miao	[1] [2]
4	Jijun Ming	[2]