Gerard O'Regan
5 published titles
Truth, proof and formal methods : philosophical background
1 edition
- Trinity College, Department of Computer Science
- 1995
- Details
Bill of materials : a rigorous approach
1 edition
- Trinity College, Department of Computer Science
- 1995
- Details
1st Irish Workshop on Formal Methods : proceedings of the 1st Irish Workshop on Formal Methods, Dublin, 3-4 July 1997
(Contributor)
1 edition
- ISBN: 3540761969
- Springer
- 1997
- Details
A practical approach to software quality
1 edition
- ISBN: 0387953213
- Springer
- 2002
- Details
Mathematical approaches to software quality
1 edition
- ISBN: 9781846282423
- Springer
- 2006
- Details