Xiang Yin

	2008
3		Xiang Yin, John C. Knight, Elisabeth A. Nguyen, Westley Weimer: Formal Verification by Reverse Synthesis. SAFECOMP 2008: 305-319
	2007
2		Xiang Yin, Jianguo Jiang, Na Xia: A Novel Strategy of Coalition Evolvement Based on Interest. SNPD (1) 2007: 611-615
	2006
1		Xiang Yin: The echo approach to formal verification. ICSE 2006: 981-984

Coauthor Index

1	Jianguo Jiang	[2]
2	John C. Knight	[3]
3	Elisabeth A. Nguyen	[3]
4	Westley Weimer	[3]
5	Na Xia	[2]

Colors in the list of coauthors