Unifying theories of healthiness condition

Dades bibliogràfiques
Autors principals: He, J, Hoare, C
Format: Conference item
Publicat: IEEE 2000