MoSeL

swMATH46768MaRDI QIDQ5974297FDOQ5974297

Author name not available (Why is that?)

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