Yves Ledru, Lydie du Bousquet. Apport d'un prototype spécifié en Z dans le redéveloppement d'un outil de test. Technique et Science Informatiques, 31(6):743-767, 2012. [doi]
@article{LedruB12, title = {Apport d'un prototype spécifié en Z dans le redéveloppement d'un outil de test}, author = {Yves Ledru and Lydie du Bousquet}, year = {2012}, doi = {10.3166/tsi.31.743-767}, url = {http://dx.doi.org/10.3166/tsi.31.743-767}, researchr = {https://researchr.org/publication/LedruB12}, cites = {0}, citedby = {0}, journal = {Technique et Science Informatiques}, volume = {31}, number = {6}, pages = {743-767}, }