Flexible Refinement Proofs in Separation Logic

Download
Full text (PDF, 716.9Kb)
Thumbnail
Open access
ccby
Author
Bílý, Aurel
Matheja, Christophcc
Müller, Peter
Date
2021-10-26
Type
    Working Paper
Rights / license
Creative Commons Attribution 4.0 International
Permanent link
https://doi.org/10.3929/ethz-b-000514897
Publication status
published
External links
Journal / series
arXiv
Pages / Article No.
2110.13559
Publisher
Cornell University
Organisational unit
03653 - Müller, Peter / Müller, Peter  
More
Show all metadata
ETH Bibliography
yes
Altmetrics