UTPCalc
From MaRDI portal
Software:33863
Author name not available (Why is that?)
Related Items (2)
Theoretical and practical approaches to the denotational semantics for MDESL based on UTP ⋮ UTPCalc — A Calculator for UTP Predicates
This page was built for software: UTPCalc
