Carlos Canal, Akram Idani
Revised Selected Papers of SEFM Collocated Workshops (First Human-Oriented Formal Methods Workshop)
HOFM, 2015.

@proceedings{HOFM-2014,
	doi           = "10.1007/978-3-319-15201-1",
	editor        = "Carlos Canal and Akram Idani",
	isbn          = "978-3-319-15200-4",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Selected Papers of SEFM Collocated Workshops (First Human-Oriented Formal Methods Workshop)}",
	volume        = 8938,
	year          = 2015,
}

Event page: https://hofm2014.wordpress.com/

Contents (4 items)

HOFM-2014-BeckertGB #evaluation #interactive #proving #theorem proving #usability #using

A Usability Evaluation of Interactive Theorem Provers Using Focus Groups (BB, SG, FB), pp. 3–19.

HOFM-2014-LadenbergerDL #approach #csp #modelling #visualisation

An Approach for Creating Domain Specific Visualisations of CSP Models (LL, ID, ML), pp. 20–35.

HOFM-2014-BagheriSH #development #maintenance #modelling #using

Using Z in the Development and Maintenance of Computational Models of Real-World Systems (SMB, GS, JH), pp. 36–53.

HOFM-2014-IdaniS #formal method #visual notation

When a Formal Model Rhymes with a Graphical Notation (AI, NS), pp. 54–68.