Akram Idani, Yves Ledru, Pierre-Yves Schobbens. Approche formelle pour une Ingénierie des Modèles sûre. Atelier LMO/SafeModel, Nancy, 2009.
Charger l'article : (link)
Copyright :
@Misc{SafeModelIdani09,
Author = {Idani, Akram and Ledru, Yves and Schobbens, Pierre-Yves},
Title = {{Approche formelle pour une Ingénierie des Modèles sûre}},
BookTitle = {{Atelier LMO/SafeModel}},
Address = {Nancy},
Year = {2009}
}
Charger la référence EndNote (.ref)