Skip to Main content Skip to Navigation
Journal articles

Tool building in formal methods

Abstract : no abstract
Document type :
Journal articles
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01223272
Contributor : Frédéric Gervais <>
Submitted on : Monday, November 2, 2015 - 1:53:09 PM
Last modification on : Wednesday, February 10, 2021 - 12:30:02 PM

Identifiers

  • HAL Id : hal-01223272, version 1

Collections

Citation

Frédéric Gervais, Benoît Fraikin. Tool building in formal methods. Softw., Pract. Exper., 2011, 41 (2), pp.131-132. ⟨hal-01223272⟩

Share

Metrics

Record views

110