Modular Reasoning about Separation of Concurrent Data Structures
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Original language | English |
---|---|
Title of host publication | ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems |
Publisher | Association for Computing Machinery |
Publication date | 2013 |
Pages | 169-188 |
ISBN (Print) | 978-3-642-37035-9 |
Publication status | Published - 2013 |
ID: 76465278