Article Dans Une Revue
Software: Practice and Experience
Année : 2011
Frédéric Gervais : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01223272
Soumis le : lundi 2 novembre 2015-13:53:09
Dernière modification le : vendredi 24 mars 2023-14:53:01
Citer
Frédéric Gervais, Benoît Fraikin. Tool building in formal methods. Software: Practice and Experience, 2011, 41 (2), pp.131-132. ⟨10.1002/spe.1046⟩. ⟨hal-01223272⟩
44
Consultations
0
Téléchargements