Tool building in formal methods

Abstract : no abstract
Type de document :
Article dans une revue
Softw., Pract. Exper., 2011, 41 (2), pp.131-132
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01223272
Contributeur : Frédéric Gervais <>
Soumis le : lundi 2 novembre 2015 - 13:53:09
Dernière modification le : mercredi 19 décembre 2018 - 15:50:03

Identifiants

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

Partager

Métriques

Consultations de la notice

54