Browsing Computer Science by Subject "Unifying Theories of Programming"
Now showing items 1-2 of 2
-
UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models
(IEEE Computer Society, 2016) -
UTPCalc - A calculator for UTP Predicates
(Springer International Publishing, 2017)