Towards Verifiable Safe and Correct Medical Best Practice Guideline Systems.

Chunhui Guo, Zhicheng Fu, Shangping Ren, Yu Jiang, Lui Sha

Browse the full COMPSAC paper archive.