Sciweavers

ECEASST
2008

From Hyperedge Replacement to Separation Logic and Back

13 years 11 months ago
From Hyperedge Replacement to Separation Logic and Back
Mike Dodds, Detlef Plump
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2008
Where ECEASST
Authors Mike Dodds, Detlef Plump
Comments (0)