@unpublished{iihm-ODC15b,
	title = {Plasticity of user interfaces: formal verification of consistency},
	author = {Oliveira, Raquel and Dupuy-Chessa, Sophie and Calvary, Ga{\"{e}}lle},
	year = {2015},
	pages = {260-265},
	booktitle = {Proceedings of the 7th {ACM} {SIGCHI} Symposium on Engineering Interactive Computing Systems ({EICS} 2015)},
	publisher = {{ACM}},
	editor = {J{\"{u}}rgen Ziegler},
	note = {Late Breaking Results},
	doi = {http://doi.acm.org/10.1145/2774225.2775078},
	address = {Duisburg, Germany},
	uri = {http://iihm.imag.fr/publication/ODC15b/},
	pdf = {http://iihm.imag.fr/publs/2015/oliveiraEICS15short.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},
}