Unifying theories of healthiness condition

Detalhes bibliográficos
Main Authors: He, J, Hoare, C
Formato: Conference item
Publicado em: IEEE 2000