Correctness of Data Representations involving Heap Data Structures
Uday S. Reddy and Hongseok Yang
Journal
Science of Computer Programming
Month
March
Number
1−3
Pages
129–160
Publisher
Elsevier
Volume
50
Year
2004
Uday S. Reddy and Hongseok Yang