Correctness of Data Representations involving Heap Data Structures
Uday S. Reddy and Hongseok Yang
Book Title
Proceedings of the 12th European Symposium on Programming
ISBN
3−540−00886−1
Month
April
Pages
223–237
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
2618
Year
2003