Templates as heuristics for proving properties of medical devices.

Published in: EAI Endorsed Trans. Creative Technol. (2016)

Keyphrases