Unifying theories of healthiness condition

Détails bibliographiques
Auteurs principaux: He, J, Hoare, C
Format: Conference item
Publié: IEEE 2000