UTP2

swMATH6342MaRDI QIDQ18470

No author found.

Described by source

• Saoithín: A Theorem Prover for UTP
• The Logic of U ·(TP)2

Related Items (3)

An Axiomatic Value Model for Isabelle/UTP ⋮ UTPCalc — A Calculator for UTP Predicates ⋮ Angelic processes for CSP via the UTP

This page was built for software: UTP2