Multris: Functional Verification of Multiparty Message Passing in Separation Logic - Coq Mechanization (original) (raw)

DOI

10.5281/zenodo.13380561

Markdown

reStructuredText

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.13380561.svg 🎯 https://doi.org/10.5281/zenodo.13380561

HTML

Image URL

https://zenodo.org/badge/DOI/10.5281/zenodo.13380561.svg

Target URL

https://doi.org/10.5281/zenodo.13380561