A. A. Donnelly
2 published titles
On the inheritance of monoid properties in indexed structures
1 edition
- Trinity College, Department of Computer Science
- 1996
- Details
An algebraic proof in VDM
(Contributor)
1 edition
- Trinity College, Department of Computer Science
- 1996
- Details
