Paul Krause. Can We formally Specify a Medical Decision Support System?. In Matthew Grisoni, editor, Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, EUROVAV-91, Jesus College, Cambridge, England, July 22-24, 1991. pages 247-258, Logica Ltd., Cambridge, UK, 1991.
@inproceedings{Krause91:0,
title = {Can We formally Specify a Medical Decision Support System?},
author = {Paul Krause},
year = {1991},
researchr = {https://researchr.org/publication/Krause91%3A0},
cites = {0},
citedby = {0},
pages = {247-258},
booktitle = {Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, EUROVAV-91, Jesus College, Cambridge, England, July 22-24, 1991},
editor = {Matthew Grisoni},
publisher = {Logica Ltd., Cambridge, UK},
}