Separation Logic for Non-local Control Flow and Block Scope Variables

From MaRDI portal
Revision as of 06:24, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4910424

DOI10.1007/978-3-642-37075-5_17zbMATH Open1260.68101OpenAlexW2167148498MaRDI QIDQ4910424

Author name not available (Why is that?)

Publication date: 18 March 2013

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-37075-5_17




Mathematics Subject Classification ID

No records found.








This page was built for publication: Separation Logic for Non-local Control Flow and Block Scope Variables

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4910424)

Retrieved from "https://mardi.schubotz.org/w/index.php?title=Publication:4910424&oldid=19306378"
Powered by MediaWiki