![]() | ![]() |
2007 | ||
---|---|---|
3 | EE | 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 | EE | 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 | EE | Haiyan Xiong, Paul Curzon, Sofiène Tahar: Importing MDG Verification Results into HOL. TPHOLs 1999: 293-310 |
1 | Ann Blandford | [2] [3] |
2 | Paul Curzon | [1] [2] [3] |
3 | Sofiène Tahar | [1] [2] [3] |