Mungo

MaRDI QIDQ41951swMATHFDO

Official website https://www.sciencedirect.com/science/article/pii/S0167642317302186

Cited in

(6)

• Typestates to automata and back: a tool
• UMDES
• PLURAL
• LASH
• session-ocaml
• A type checking algorithm for concurrent object protocols

This page was built for software: Mungo