State of the Art on Formal Methods for Interactive Systems (bibtex)
by Raquel Oliveira, Philippe Palanque, Benjamin Weyers, Judy Bowen, Alan Dix
Reference:
State of the Art on Formal Methods for Interactive Systems (Raquel Oliveira, Philippe Palanque, Benjamin Weyers, Judy Bowen, Alan Dix), Chapter in (Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque, eds.), Springer International Publishing, 2017.
Bibtex Entry:
@Inbook{Oliveira2017,
	author="Oliveira, Raquel
			and Palanque, Philippe
			and Weyers, Benjamin
			and Bowen, Judy
			and Dix, Alan",
	editor="Weyers, Benjamin
			and Bowen, Judy
			and Dix, Alan
			and Palanque, Philippe",
	title="State of the Art on Formal Methods for Interactive Systems",
	bookTitle="The Handbook of Formal Methods in Human-Computer Interaction",
	year="2017",
	publisher="Springer International Publishing",
	address="Cham",
	pages="3--55",
	isbn="978-3-319-51838-1",
	doi="10.1007/978-3-319-51838-1_1",
	url="http://dx.doi.org/10.1007/978-3-319-51838-1_1"
}