Skip to Main content Skip to Navigation
Book sections

Software: Practice and Experience

Abstract : no abstract
Document type :
Book sections
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01223271
Contributor : Frédéric Gervais Connect in order to contact the contributor
Submitted on : Monday, November 2, 2015 - 1:53:08 PM
Last modification on : Tuesday, October 19, 2021 - 4:09:22 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

37