@InProceedings{HarrisonCMC:2015, author = {M. Harrison and J.C. Campos and P. Masci and P. Curzon}, title = {Templates as heuristics for proving properties of medical devices}, booktitle = {5th EAI International Conference on Wireless Mobile Communication and Healthcare - "Transforming healthcare through innovations in mobile and wireless technologies"}, publisher = {ACM}, year = {2015}, doi = {10.4108/eai.14-10-2015.2261743} }
Generated by mkBiblio 2.6.26