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