Correctness of Data Representations involving Heap Data Structures

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Reddy, U, Yang, H
التنسيق: Conference item
منشور في: Springer−Verlag 2015