Unifying theories of healthiness condition

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: He, J, Hoare, C
التنسيق: Conference item
منشور في: IEEE 2000