Haiyan Xiong
发表
Caidan Zhao,
Lianfen Huang,
Xiongpeng Wu,
2014,
2014 9th International Conference on Computer Science & Education.
Sofiène Tahar,
Paul Curzon,
Haiyan Xiong,
1999,
TPHOLs.
Sofiène Tahar,
Ann Blandford,
Paul Curzon,
2002,
IFM.
Haiyan Xiong,
Haiyan Xiong,
2007,
Formal Methods Syst. Des..