UTPCalc

swMATH22067MaRDI QIDQ33863FDOQ33863

Author name not available (Why is that?)

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

Cited In (6)

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

This page was built for software: UTPCalc