UTPCalc

MaRDI QIDQ33863swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-319-52228-9_10

Cited in

(6)

• Saoithin
• UTP2
• ModuRes
• Verilog
• UTPCalc -- a calculator for UTP predicates
• Theoretical and practical approaches to the denotational semantics for MDESL based on UTP

This page was built for software: UTPCalc