Modular Reasoning about Separation of Concurrent Data Structures

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

View graph of relations

Original languageEnglish
Title of host publicationESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems
PublisherAssociation for Computing Machinery
Publication date2013
ISBN (Print)978-3-642-37035-9
Publication statusPublished - 2013

ID: 76465278