The Handbook of Formal Methods in Human-Computer Interaction (bibtex)
by Unknown
Reference:
The Handbook of Formal Methods in Human-Computer Interaction, (Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque, eds.), Springer International Publishing, 2017.
Bibtex Entry:
@book{WeyersBowenDixPalanque2017,
	editor="Weyers, Benjamin
			and Bowen, Judy
			and Dix, Alan
			and Palanque, Philippe",
	title="The Handbook of Formal Methods in Human-Computer Interaction",
	year="2017",
	publisher="Springer International Publishing",
	address="Cham",
	isbn="978-3-319-51838-1",
	url="http://www.springer.com/gb/book/9783319518374"
}