Hume

MaRDI QIDQ33983swMATHFDO

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

Cited in

(8)

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

This page was built for software: Hume