Certificates and separation logic. (English) Zbl 1348.68041
Abadi, Martín (ed.) et al., Trustworthy global computing. 8th international symposium, TGC 2013, Buenos Aires, Argentina, August 30–31, 2013. Revised selected papers. Cham: Springer (ISBN 978-3-319-05118-5/pbk; 978-3-319-05119-2/ebook). Lecture Notes in Computer Science 8358, 273-293 (2014).