Journal article icon

Journal article

Correctness of Data Representations involving Heap Data Structures

Actions


Authors


Journal:
Science of Computer Programming
Volume:
50
Issue:
1−3
Pages:
129-160
Publication date:
2004-03-01
URN:
uuid:1b1c88e9-64cf-4a53-8cde-ee20895c6e5b
Local pid:
cs:4946

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