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]

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page