Haiyan Xiong

	2007
3		Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford: Providing a formal linkage between MDG and HOL. Formal Methods in System Design 30(2): 83-116 (2007)
	2002
2		Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford: Formally Linking MDG and HOL Based on a Verified MDG System. IFM 2002: 205-224
	1999
1		Haiyan Xiong, Paul Curzon, Sofiène Tahar: Importing MDG Verification Results into HOL. TPHOLs 1999: 293-310

Coauthor Index

1	Ann Blandford	[2] [3]
2	Paul Curzon	[1] [2] [3]
3	Sofiène Tahar	[1] [2] [3]