@inproceedings{iihm-BJ97a,
	title = {Utilisation des sp{\'{e}}cifications formelles dans le processus de conception des interfaces homme-machine},
	author = {Brun, P. and Jambon, Francis},
	year = {1997},
	pages = {23-29},
	booktitle = {Proc. {IHM}'97, Cepadues Publ},
	uri = {http://iihm.imag.fr/publication/BJ97a/},
	pdf = {http://iihm.imag.fr/publs/1997/IHM97_Formalismes.Fr.pdf},
	type_publi = {colcomlec},
	type = {Conf{\'{e}}rences nationales avec comit{\'{e}} de lecture sur texte complet},
	x-proceedings = {yes},
	x-editorial-board = {yes},
	x-international-audience = {no},
	x-invited-conference = {no},
	x-scientific-popularization = {no},
}