A formal specification of electronic patient record processing for an integrated distributed health care system
Main Author: | |
---|---|
Published: |
2013
|
Online Access: | http://hdl.handle.net/1993/19977 |
Main Author: | |
---|---|
Published: |
2013
|
Online Access: | http://hdl.handle.net/1993/19977 |