Unifying theories of healthiness condition

Номзүйн дэлгэрэнгүй
Үндсэн зохиолчид: He, J, Hoare, C
Формат: Conference item
Хэвлэсэн: IEEE 2000