Saoithin
From MaRDI portal
Software:18469
No author found.
Related Items (3)
The Logic of U ·(TP)2 ⋮ An Axiomatic Value Model for Isabelle/UTP ⋮ UTPCalc — A Calculator for UTP Predicates
This page was built for software: Saoithin
