Sciweavers

GG
2008
Springer

From Separation Logic to Hyperedge Replacement and Back

14 years 16 days ago
From Separation Logic to Hyperedge Replacement and Back
Mike Dodds
Added 09 Nov 2010
Updated 09 Nov 2010
Type Conference
Year 2008
Where GG
Authors Mike Dodds
Comments (0)