@article{deantoni:inria-00587097, TITLE = {{SAIA : une utilisation conjointe du g{\'e}nie logiciel et des m{\'e}thodes formelles}}, AUTHOR = {Deantoni, Julien and Babau, Jean-Philippe}, URL = {https://inria.hal.science/inria-00587097}, NOTE = {ISSN 1633-3586}, JOURNAL = {{En vue - Lettre d'information de l'INSA de Lyon}}, PUBLISHER = {{INSA de lyon}}, NUMBER = {26}, YEAR = {2009}, PDF = {https://inria.hal.science/inria-00587097/file/IF_juin_2010_SAIA.pdf}, HAL_ID = {inria-00587097}, HAL_VERSION = {v1}, }