HyLib 整合性圖書館自動化系統
借閱次數: 0

A formal specification of electronic patient record processing for an integrated distributed health care system