UTPCalc - A calculator for UTP Predicates - BUTTERFIELD, ANDREW (Springer International Publishing, 2017)
LNCS
The 6th International Symposium on Unifying Theories of Programming
PUBLISHED
Reykjavik, Iceland
Keywords: PREDICATE CALCULUS; TOOL SUPPORT; Unifying Theories of Programming