UTPCalc

swMATH22067MaRDI QIDQ33863FDOQ33863

Author name not available (Why is that?)

Cited In (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