New Foundations for Separation Logic (Coq artifact) ...
Zenodo, 2024
Online
Elektronische Ressource
Zugriff:
This is the Coq formalization artifact accompanying the thesis with the title "New Foundations for Separation Logic". ...
Titel: |
New Foundations for Separation Logic (Coq artifact) ...
|
---|---|
Autor/in / Beteiligte Person: | Hiep, Hans-Dieter |
Link: | |
Veröffentlichung: | Zenodo, 2024 |
Medientyp: | Elektronische Ressource |
DOI: | 10.5281/zenodo.10558424 |
Sonstiges: |
|