Journal article icon

Journal article

Graphical models of separation logic

Actions


Access Document


Publisher copy:
10.1016/j.ipl.2009.06.003

Authors


Journal:
Inf. Process. Lett.
Volume:
109
Issue:
17
Pages:
1001-1004
Publication date:
2009-01-01
DOI:
URN:
uuid:f52d0b18-60c2-45a1-a160-a24d199df398
Local pid:
cs:8375

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP