@inproceedings{iihm-ODC15a,
	title = {Equivalence Checking for Comparing User Interfaces},
	author = {Oliveira, Raquel and Dupuy-Chessa, Sophie and Calvary, Ga{\"{e}}lle},
	year = {2015},
	pages = {266-275},
	booktitle = {Proceedings of the 7th {ACM} {SIGCHI} Symposium on Engineering Interactive Computing Systems ({EICS} 2015)},
	publisher = {{ACM}},
	editor = {J{\"{u}}rgen Ziegler},
	doi = {http://doi.acm.org/10.1145/2774225.2774844},
	address = {Duisburg, Germany},
	uri = {http://iihm.imag.fr/publication/ODC15a/},
	pdf = {http://iihm.imag.fr/publs/2015/oliveiraEICS15.pdf},
	type_publi = {icolcomlec},
	type = {Conf{\'{e}}rences internationales de large diffusion avec comit{\'{e}} de lecture sur texte complet},
	x-proceedings = {yes},
	x-editorial-board = {yes},
	x-international-audience = {yes},
	x-invited-conference = {no},
	x-scientific-popularization = {no},
}