Keith A. Butler, Eric Mercer, Ali Bahrami, Cui Tao. Model Checking for Verification of Interactive Health IT Systems. In AMIA 2015, American Medical Informatics Association Annual Symposium, San Francisco, CA, USA, November 14-18, 2015. AMIA, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.