![]() | ![]() |
Ask others: ACM DL/Guide -
- CSB - MetaPress - Google - Bing - Yahoo
| 1 | Mícheál Mac an Airchinnigh, Dag Belsnes, Gerard O'Regan: Formal Methods and Service Specification. IS&N 1994: 563-572 |
Selection of 1 from 6 records - Gerard O'Regan has 3 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page