6th international conference on integrated Formal Methods (iFM'07), Jul 2007, Oxford, United Kingdom. 4591, 2007, LNCS
Liste complète des métadonnées
https://hal.inria.fr/inria-00329977
Contributeur : Frédéric Dadeau
<>
Soumis le : lundi 13 octobre 2008 - 17:14:00
Dernière modification le : jeudi 11 octobre 2018 - 08:48:01
