| |
| 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] |