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