UTP2

swMATH6342MaRDI QIDQ18470FDOQ18470

Author name not available (Why is that?)

Described by source

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

Cited In (3)

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

This page was built for software: UTP2