Tableaux and Resource Graphs for Separation Logic.

Saved in:

Bibliographic Details
Title:	Tableaux and Resource Graphs for Separation Logic.
Authors:	Galmiche, Didier, Méry, Daniel
Source:	Journal of Logic & Computation; February 2010, Vol. 20 Issue 1, p189-231, 43p
Database:	Applied Science & Technology Source

Description
ISSN:	0955792X
DOI:	10.1093/logcom/exn066