False failure: creating failure models for separation logic

DOI10.1007/978-3-030-02149-8_16OpenAlexW2895040066MaRDI QIDQ1617829

Peter Höfner, Callum Bannister

Publication date: 8 November 2018

Full work available at URL: https://doi.org/10.1007/978-3-030-02149-8_16

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: False failure: creating failure models for separation logic