dc.contributor.author | BUTTERFIELD, ANDREW | en |
dc.contributor.editor | Jonathan Bowen, Huibiao Zhu | en |
dc.date.accessioned | 2017-01-12T11:25:24Z | |
dc.date.available | 2017-01-12T11:25:24Z | |
dc.date.created | 5-6th June 2016 | en |
dc.date.issued | 2017 | en |
dc.date.submitted | 2017 | en |
dc.identifier.citation | Andrew Butterfield, UTPCalc - A calculator for UTP Predicates, LNCS, The 6th International Symposium on Unifying Theories of Programming, Reykjavik, Iceland, 5-6th June 2016, Jonathan Bowen, Huibiao Zhu, 11304, Springer International Publishing, 2017, 197 - 216 | en |
dc.identifier.other | Y | en |
dc.identifier.uri | http://hdl.handle.net/2262/78680 | |
dc.description | PUBLISHED | en |
dc.description | Reykjavik, Iceland | en |
dc.format.extent | 197 | en |
dc.format.extent | 216 | en |
dc.language.iso | en | en |
dc.publisher | Springer International Publishing | en |
dc.relation.ispartofseries | 11304 | en |
dc.rights | Y | en |
dc.title | UTPCalc - A calculator for UTP Predicates | en |
dc.title.alternative | LNCS | en |
dc.title.alternative | The 6th International Symposium on Unifying Theories of Programming | en |
dc.type | Conference Paper | en |
dc.type.supercollection | scholarly_publications | en |
dc.type.supercollection | refereed_publications | en |
dc.identifier.peoplefinderurl | http://people.tcd.ie/butrfeld | en |
dc.identifier.rssinternalid | 124498 | en |
dc.identifier.doi | 10.1007/978-3-319-52228-9_10 | en |
dc.rights.ecaccessrights | openAccess | |
dc.identifier.rssother | 978-3-319-52227-2 | en |
dc.subject.TCDTag | PREDICATE CALCULUS | en |
dc.subject.TCDTag | TOOL SUPPORT | en |
dc.subject.TCDTag | Unifying Theories of Programming | en |
dc.identifier.orcid_id | 0000-0002-2337-2101 | en |
dc.contributor.sponsor | Science Foundation Ireland (SFI) | en |
dc.contributor.sponsorGrantNumber | 10/CE/11855 | en |