Combining Formal Methods in Healthcare

Bowles, J. K. F. (Speaker)

School of Computer Science

Activity: Talk or presentation types › Invited talk

Description

CISA seminar

Period	15 Mar 2018
Held at	University of Edinburgh, United Kingdom

Related content

Projects
Automated Conflic Resolution in Clinical Pathways
Project: Standard