| 1997 | ||
|---|---|---|
| 2 | Henry McGloughlin, Gerard O'Regan: 1st Irish Workshop on Formal Methods, IWFM 1997, Dublin, Eire, 3-4 July 1997 BCS 1997 | |
| 1994 | ||
| 1 | Mícheál Mac an Airchinnigh, Dag Belsnes, Gerard O'Regan: Formal Methods and Service Specification. IS&N 1994: 563-572 | |
| 1 | Mícheál Mac an Airchinnigh | [1] |
| 2 | Dag Belsnes | [1] |
| 3 | Henry McGloughlin | [2] |