Templates as heuristics for proving properties of medical devices

M. Harrison and J.C. Campos and P. Masci and P. Curzon
In 5th EAI International Conference on Wireless Mobile Communication and Healthcare - "Transforming healthcare through innovations in mobile and wireless technologies". ACM. 2015.