MoSeL

swMATH46768MaRDI QIDQ5974297FDOQ5974297

Author name not available (Why is that?)

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

Cited In (1)

• Iris from the ground up: A modular foundation for higher-order concurrent separation logic

This page was built for software: MoSeL