%0 Conference Paper
%B 5th EAI International Conference on Wireless Mobile Communication and Healthcare - "Transforming healthcare through innovations in mobile and wireless technologies"
%D 2015
%T Templates as heuristics for proving properties of medical devices
%A Michael Harrison
%A Campos, Jose
%A Paolo Masci
%A Paul Curzon
%I ACM
%R 10.4108/eai.14-10-2015.2261743
%> https://haslab.uminho.pt/sites/default/files/jccampos/files/antennatemplatesv5-final.pdf