Unifying theories of healthiness condition

书目详细资料
Main Authors: He, J, Hoare, C
格式: Conference item
出版: IEEE 2000