FreeSpec

swMATH37554MaRDI QIDQ53255FDOQ53255

Authors scientific article; zbMATH DE number Author name (Why is no real title available?)

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

Cited in

(9)

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

This page was built for software: FreeSpec