| |
| * | 2005 | |
|---|---|---|
| 2 | EE | Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan: Development via Refinement in Probabilistic B - Foundation and Case Study. ZB 2005: 355-373 |
| 2003 | ||
| 1 | EE | Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan: Probabilistic Invariants for Probabilistic Machines. ZB 2003: 240-259 |
| 1 | Thai Son Hoang | [1] [2] |
| 2 | Annabelle McIver (A. K. McIver) | [1] [2] |
| 3 | Carroll Morgan | [1] [2] |
| 4 | Ken Robinson (Kenneth Arthur Robinson) | [1] [2] |