- CSB - MetaPress - Google - Bing - Yahoo
 | 2007 | |
|---|---|---|
| 3 |      | Carlos Gonzalia, Annabelle McIver: Automating Refinement Checking in Probabilistic System Design. ICFEM 2007: 212-231 |
| 2003 | ||
| 2 | | Carlos Gonzalia: Towards a Formalisation of Relational Database Theory in Constructive Type Theory. RelMiCS 2003: 137-148 |
| 2000 | ||
| 1 |  | Carlos Gonzalia: The Allegory of E-Relations in Constructive Type Theory. RelMiCS 2000: 85-94 |
| 1 | Annabelle McIver (A. K. McIver) | [3] |