CZT

swMATH5782MaRDI QIDQ17921FDOQ17921

Author name not available (Why is that?)

Cited In (6)

• Z2SAL: a translation-based model checker for Z
• Title not available (Why is that?)
• Saoithín: A Theorem Prover for UTP
• Refinement-oriented models of Stateflow charts
• A formalism to describe design patterns based on role concepts
• Type checking \textsf{Circus} specifications

This page was built for software: CZT