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:
Sponsor
Grant Number
Science Foundation Ireland (SFI)
10/CE/11855
Author's Homepage:
http://people.tcd.ie/butrfeldDescription:
PUBLISHEDReykjavik, Iceland
Author: BUTTERFIELD, ANDREW
Sponsor:
Science Foundation Ireland (SFI)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_10Metadata
Show full item recordLicences: