| * | 2009 | |
|---|---|---|
| 3 | EE | Thein Than Tun, Rod Chapman, Charles B. Haley, Robin C. Laney, Bashar Nuseibeh: A Framework for Developing Feature-Rich Software Systems. ECBS 2009: 206-214 |
| 2007 | ||
| 2 | EE | Rod Chapman: Correctness by construction: putting engineering (back) into software. SIGAda 2007: 100 |
| 1 | EE | Rod Chapman: MF1: security by construction. SIGAda 2007: 5-6 |
| 1 | Charles B. Haley | [3] |
| 2 | Robin C. Laney | [3] |
| 3 | Bashar Nuseibeh | [3] |
| 4 | Thein Than Tun | [3] |