Software Engineering and Formal Methods

Ouvrage (Y Compris Édition Critique Et Traduction) Année : 2014

(1) , (2)

1
2

Gwen Salaün

Construction of verified concurrent systems

Dimitra Giannakopoulou

NASA Ames Research Center

Génie logiciel [cs.SE] Logique en informatique [cs.LO] Langage de programmation [cs.PL] Réseaux et télécommunications [cs.NI] Théorie et langage formel [cs.FL]

https://inria.hal.science/hal-01272610

Soumis le : jeudi 11 février 2016-10:29:21

Dernière modification le : mercredi 18 décembre 2024-09:23:48

hal-01272610 , version 1 (11-02-2016)

Gwen Salaün, Dimitra Giannakopoulou (Dir.). Software Engineering and Formal Methods. 2014, ⟨10.1007/978-3-319-10431-7⟩. ⟨hal-01272610⟩

UGA CNRS INRIA LIG LIG_MFML_CONVECS CONVECS INRIA2 LIG_SIDCH

263 Consultations

0 Téléchargements