UTPCalc - A calculator for UTP Predicates
File Type:
PDFItem Type:
Conference PaperDate:
2017Author:
Access:
openAccessCitation:
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 - 216Download Item:
UTPCalc-UTP2016-revised.pdf (Published (author's copy) - Peer Reviewed) 390.1Kb
Sponsor
Grant Number
Science Foundation Ireland (SFI)
10/CE/11855
Author's Homepage:
http://people.tcd.ie/butrfeldDescription:
PUBLISHEDReykjavik, Iceland
Author: BUTTERFIELD, ANDREW
Other Titles:
LNCSThe 6th International Symposium on Unifying Theories of Programming
Publisher:
Springer International PublishingType of material:
Conference PaperCollections:
Series/Report no:
11304Availability:
Full text availableSubject (TCD):
PREDICATE CALCULUS , TOOL SUPPORT , Unifying Theories of ProgrammingDOI:
10.1007/978-3-319-52228-9_10Licences: