Correctness of Data Representations involving Heap Data Structures (2003)

Cached

Download Links

by Uday S. Reddy , Hongseok Yang
Venue:Science of Computer Programming
Citations:23 - 8 self