Unifying theories of healthiness condition

書誌詳細
主要な著者: He, J, Hoare, C
フォーマット: Conference item
出版事項: IEEE 2000