COMP4310 Web Health Informatics Final Project
An experiment in creating a (mostly) formally verified, domain specific markup language for electronic patient records and patient modeling.
chgibb / curly-parakeet Goto Github PK
View Code? Open in Web Editor NEWAn experiment in creating a (mostly) formally verified, domain specific markup language for electronic patient records and patient modeling.
License: GNU General Public License v3.0