Unifying theories of healthiness condition

Manylion Llyfryddiaeth
Prif Awduron: He, J, Hoare, C
Fformat: Conference item
Cyhoeddwyd: IEEE 2000