Case Studies (bibtex)
by Benjamin Weyers, Michael D. Harrison, Judy Bowen, Alan Dix, Philippe Palanque
Reference:
Case Studies (Benjamin Weyers, Michael D. Harrison, Judy Bowen, Alan Dix, Philippe Palanque), Chapter in (Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque, eds.), Springer International Publishing, 2017.
Bibtex Entry:
@Inbook{Weyers2017,
	author="Weyers, Benjamin
			and Harrison, Michael D.
			and Bowen, Judy
			and Dix, Alan
			and Palanque, Philippe",
	editor="Weyers, Benjamin
			and Bowen, Judy
			and Dix, Alan
			and Palanque, Philippe",
	title="Case Studies",
	bookTitle="The Handbook of Formal Methods in Human-Computer Interaction",
	year="2017",
	publisher="Springer International Publishing",
	address="Cham",
	pages="89--121",
	isbn="978-3-319-51838-1",
	doi="10.1007/978-3-319-51838-1_4",
	url="http://dx.doi.org/10.1007/978-3-319-51838-1_4"
}