Hume

swMATH22188MaRDI QIDQ33983FDOQ33983

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007/978-3-540-39815-8_3

Cited In (6)

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

This page was built for software: Hume