Software: Practice and Experience

Abstract : no abstract
Type de document :
Chapitre d'ouvrage
Software: Practice and Experience, Tool Building in Formal Methods - Extended Papers from WS-TBFM 2010, John Wiley and Sons, pp.131-208, 2011
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01223271
Contributeur : Frédéric Gervais <>
Soumis le : lundi 2 novembre 2015 - 13:53:08
Dernière modification le : jeudi 11 janvier 2018 - 06:19:28

Identifiants

  • HAL Id : hal-01223271, version 1

Collections

Citation

Frédéric Gervais, Benoît Fraikin. Software: Practice and Experience. Software: Practice and Experience, Tool Building in Formal Methods - Extended Papers from WS-TBFM 2010, John Wiley and Sons, pp.131-208, 2011. 〈hal-01223271〉

Partager

Métriques

Consultations de la notice

54