Templates as heuristics for proving properties of medical devices
Citation:
Harrison M, Campos J, Masci P, Curzon P.
2015. Templates as heuristics for proving properties of medical devices. 5th EAI International Conference on Wireless Mobile Communication and Healthcare - "Transforming healthcare through innovations in mobile and wireless technologies", copy at www.tinyurl.com/y2qzqrpt