operational

swMATH37553MaRDI QIDQ53254FDOQ53254

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: operational