A Formal C Memory Model for Separation Logic

By Robbert Krebbers

Publisher: Springer Nature

Year: 2016

DOI identifier: 10.1007/s10817-016-9369-1

OAI identifier:

Provided by: MUCC (Crossref)

Download PDF:
_{Sorry, we are unable to provide the full text but you may find it at the
following location(s):}

http://doi.org/10.1007/s10817-... (external link)

http://link.springer.com/conte... (external link)