Skip to Main content Skip to Navigation
Journal articles

Tool building in formal methods

Abstract : no abstract
Complete list of metadatas

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 : Friday, October 4, 2019 - 1:20:44 AM

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

99