Composants, Services et Aspects : techniques et outils pour la vérification cfp
IM_FMT 2009
Workshop on Integration of Model-based Formal Methods and Tools (IMFMT 2009)
15 - 19 February, 2009, (Düsseldorf, Germany) site
==== Miles 2009 ====
* exposé Miles du 16/01/09 (EM) pdf