From Hyperedge Replacement to Separation Logic and Back

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Number of pages18
JournalElectronic Communications of the EASST
Volume16
DOIs
Publication statusPublished - 2009

Cite this