{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
|