Tool building in formal methods - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Software: Practice and Experience Année : 2011

Dates et versions

hal-01223272 , version 1 (02-11-2015)

Identifiants

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⟩

Collections

CNRS LACL UPEC
35 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More