Hume

swMATH22188MaRDI QIDQ33983FDOQ33983

Author name not available (Why is that?)

Cited In (3)

• Ivor, a Proof Engine
• From control law diagrams to Ada via \textsf{Circus}
• Hume box calculus: Robust system development through software transformation

This page was built for software: Hume