A Formal C Memory Model for Separation Logic
SourceJournal of Automated Reasoning, 57, 4, (2016), pp. 319-387
Article / Letter to editor
Display more detailsDisplay less details
Journal of Automated Reasoning
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.