Unifying theories of healthiness condition

Bibliographic Details
Main Authors: He, J, Hoare, C
Format: Conference item
Published: IEEE 2000