Supporting Field Investigators with Pvs: A Case Study in the Healthcare Domain

AuthID
P-00G-DMB
5
Author(s)
Furniss, D
·
Curzon, P
·
Blandford, A
1
Editor(es)
Paris Avgeriou
Tipo de Documento
Proceedings Paper
Year published
2012
Publicado
in Software Engineering for Resilient Systems - 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 7527, Páginas: 150-164
Conference
4Th International Workshop on Software Engineering for Resilient Systems, Serene 2012, Date: 27 September 2012 through 28 September 2012, Location: Pisa
Indexing
Publication Identifiers
DBLP: conf/serene/MasciFCHB12
SCOPUS: 2-s2.0-84867660171
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.