@unpublished{iihm-ODC14a,
	title = {Formal Verification of {UI} Using the Power of a Recent Tool Suite},
	author = {Oliveira, Raquel and Dupuy-Chessa, Sophie and Calvary, Ga{\"{e}}lle},
	year = {2014},
	pages = {235-240},
	booktitle = {Proceedings of the 2014 {ACM} {SIGCHI} Symposium on Engineering Interactive Computing Systems ({EICS} 2014)},
	publisher = {{ACM}},
	editor = {Fabio Paterno},
	note = {Late Breaking Results},
	doi = {https://doi.org/10.1145/2933242.2933257},
	address = {Rome, Italy},
	uri = {http://iihm.imag.fr/publication/ODC14a/},
	pdf = {http://iihm.imag.fr/publs/2014/oliveiraEICS14.pdf},
	type_publi = {autre},
	type = {Autres publications},
	x-proceedings = {no},
	x-editorial-board = {no},
	x-international-audience = {no},
	x-invited-conference = {no},
	x-scientific-popularization = {no},
}