×

Found 3 Documents (Results 1–3)

Transitive separation logic. (English) Zbl 1330.03070

Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 13th international conference, RAMiCS 2012, Cambridge, UK, September 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33313-2/pbk). Lecture Notes in Computer Science 7560, 1-16 (2012).
MSC:  03B70 03G25 68P05
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software