Gerard O'Regan

Publication Activity (10 Years)

Years Active: 1994-1994
Publications (10 Years): 0

Publications

Mícheál Mac an Airchinnigh, Dag Belsnes, Gerard O'Regan
Formal Methods and Service Specification. IS&N (1994)