Templates as Heuristics for Proving Properties of Medical Devices

AuthID
P-00K-9T3
4
Author(s)
Curzon, P
Tipo de Documento
Article
Year published
2016
Publicado
in EAI Endorsed Trans. Creative Technol.
Volume: 3, Número: 8, Páginas: e1
Indexing
Publication Identifiers
DBLP: journals/eetct/HarrisonCMC16
SCOPUS: 2-s2.0-85035015499
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.