Unifying theories of healthiness condition

Bibliographische Detailangaben
Hauptverfasser: He, J, Hoare, C
Format: Conference item
Veröffentlicht: IEEE 2000