Formal Aspects of Component Software - Inria - Institut national de recherche en sciences et technologies du numérique
Ouvrage (Y Compris Édition Critique Et Traduction) Année : 2013

Formal Aspects of Component Software

Gwen Salaün
  • Fonction : Directeur scientifique
  • PersonId : 880331
Corina Pasareanu
  • Fonction : Directeur scientifique
Fichier non déposé

Dates et versions

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

Identifiants

Citer

Gwen Salaün, Corina Pasareanu (Dir.). Formal Aspects of Component Software. 2013, ⟨10.1007/978-3-642-35861-6⟩. ⟨hal-01272595⟩
417 Consultations
0 Téléchargements

Altmetric

Partager

More