@inproceedings{iihm-LD03a,
	title = {Expressing dynamic properties of static diagrams in Z},
	author = {Ledru, Yves and Dupuy-Chessa, Sophie},
	year = {2003},
	booktitle = {Approches Formelles Pour le D{\'{e}}veloppement des Logiciels - {AFADL}'2003},
	uri = {http://iihm.imag.fr/publication/LD03a/},
	pdf = {http://iihm.imag.fr/publs/2003/AFADLdupuy2003.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},
}