FreeSpec

swMATH37554MaRDI QIDQ53255FDOQ53255

Author name not available (Why is that?)

Cited In (1)

• Modular verification of programs with effects and effects handlers

This page was built for software: FreeSpec