Software: Practice and Experience - Archive ouverte HAL
Chapitre D'ouvrage Année : 2011
Fichier non déposé

Dates et versions

hal-01223271 , version 1 (02-11-2015)

Identifiants

  • HAL Id : hal-01223271 , version 1

Citer

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⟩

Collections

CNRS LACL UPEC
55 Consultations
0 Téléchargements

Partager

More