Kami
From MaRDI portal
Software:40358
No author found.
Related Items (4)
Theoretical and practical approaches to the denotational semantics for MDESL based on UTP ⋮ Safe functional systems through integrity types and verified assembly ⋮ Modular verification of programs with effects and effects handlers ⋮ A formal equational theory for call-by-push-value
This page was built for software: Kami
