Feeney, Kevin, Brennan, Rob ORCID: 0000-0001-8236-362X and Mendel-Gleason, Gavin
ORCID: 0000-0002-1572-9756
(2017)
Linked data schemata: fixing unsound foundations.
Semantic Web, 9
(1).
pp. 53-75.
ISSN 1570-0844
Mendel-Gleason, Gavin (2012) Types and verification for infinite state systems. PhD thesis, Dublin City University.