Mungo

swMATH30237MaRDI QIDQ41951FDOQ41951

Author name not available (Why is that?)

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

Cited In (6)

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

This page was built for software: Mungo