FreeSpec

MaRDI QIDQ53255swMATHFDO

Official website https://github.com/lthms/speccert

Cited in

(9)

• MoSeL
• Coquet
• Ynot
• Rocksalt
• Equations
• Kami
• operational
• Monae
• Modular verification of programs with effects and effects handlers

This page was built for software: FreeSpec