Original language | English |
---|---|
Number of pages | 18 |
Journal | Electronic Communications of the EASST |
Volume | 16 |
DOIs | |
Publication status | Published - 2009 |
From Hyperedge Replacement to Separation Logic and Back
Research output: Contribution to journal › Article › peer-review