UTPCalc - A calculator for UTP Predicates

• Main Author: BUTTERFIELD, ANDREW
• Other Authors: Jonathan Bowen, Huibiao Zhu, Science Foundation Ireland (SFI), 10/CE/11855
• Format: Conference Object
• Language: English
• Published: Springer International Publishing 2017
• Subjects: PREDICATE CALCULUS; TOOL SUPPORT; Unifying Theories of Programming; Iceland
• Online Access: http://hdl.handle.net/2262/78680; http://people.tcd.ie/butrfeld; https://doi.org/10.1007/978-3-319-52228-9_10

PUBLISHED Reykjavik, Iceland