dc.contributor.author | Verborgh, Ruben | |
dc.contributor.author | Arndt, Dorthe | |
dc.contributor.author | Van Hoecke, Sofie | |
dc.contributor.author | De Roo, Jos | |
dc.contributor.author | Mels, Giovanni | |
dc.contributor.author | Steiner, Thomas | |
dc.contributor.author | Gabarro, Joaquim | |
dc.date.accessioned | 2021-10-24T17:37:34Z | |
dc.date.available | 2021-10-24T17:37:34Z | |
dc.date.issued | 2017-01 | |
dc.identifier.issn | 1471-0684 | |
dc.identifier.uri | https://imec-publications.be/handle/20.500.12860/29819 | |
dc.source | IIOimport | |
dc.title | The pragmatic proof: Hypermedia API composition and execution | |
dc.type | Journal article | |
dc.contributor.imecauthor | Verborgh, Ruben | |
dc.contributor.imecauthor | Arndt, Dorthe | |
dc.contributor.imecauthor | Van Hoecke, Sofie | |
dc.contributor.orcidimec | Verborgh, Ruben::0000-0002-8596-222X | |
dc.contributor.orcidimec | Van Hoecke, Sofie::0000-0002-7865-6793 | |
dc.date.embargo | 9999-12-31 | |
dc.source.peerreview | yes | |
dc.source.beginpage | 1 | |
dc.source.endpage | 48 | |
dc.source.journal | Theory and Practice of Logic Programming | |
dc.source.issue | 1 | |
dc.source.volume | 17 | |
dc.identifier.url | https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/the-pragmatic-proof-hypermedia-api-comp | |
imec.availability | Published - open access | |