FreeSpec

swMATH37554MaRDI QIDQ53255FDOQ53255

Author name not available (Why is that?)

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