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:
UUID:
uuid:f52d0b18-60c2-45a1-a160-a24d199df398
Local pid:
cs:8375
Deposit date:
2015-03-31

Terms of use


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