Unifying theories of healthiness condition

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: He, J, Hoare, C
Μορφή: Conference item
Έκδοση: IEEE 2000