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