MoSeL

swMATH46768MaRDI QIDQ5974297FDOQ5974297

Official website https://iris-project.org/mosel/

Source code repository https://gitlab.mpi-sws.org/iris/iris

Cited in

(13)

• CHAD
• Iris from the ground up: a modular foundation for higher-order concurrent separation logic
• cminor
• ModuRes
• Mezzo
• Caper
• Pilsner
• GRASShopper
• Bedrock
• Jape
• FreeSpec
• RustBelt
• ad

This page was built for software: MoSeL