{Protocure: Integrating Formal Methods in the Development Process of Medical Guidelines and Protocols}
Author | |
Conference Paper
|
|
Editor | |
Year of Publication |
2004
|
Conference Name |
Computer-based Support for Clinical Guidelines and Protocols. Proceedings of the Symposium on Computerized Guidelines and Protocols (CGP 2004)
|
Publisher |
IOS Press
|