Software Engineering and Formal Methods - SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS - Inria - Institut national de recherche en sciences et technologies du numérique
Ouvrage (Y Compris Édition Critique Et Traduction) Année : 2015

Software Engineering and Formal Methods - SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS

Carlos Canal
  • Fonction : Directeur scientifique
  • PersonId : 855779
Departamento Lenguajes y Ciencias de la Computación [Malaga]
Akram Idani
Laboratoire d'Informatique de Grenoble

Domaines

Informatique [cs]

Akram Idani  : Connectez-vous pour contacter le contributeur

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

Soumis le : vendredi 22 février 2019-10:43:48

Dernière modification le : mercredi 18 décembre 2024-10:03:13

Fichier non déposé

Dates et versions

hal-02045555 , version 1 (22-02-2019)

Identifiants

  • HAL Id : hal-02045555 , version 1

Citer

Carlos Canal, Akram Idani (Dir.). Software Engineering and Formal Methods - SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS. Springer. 2015, ISBN 978-3-319-15200-4. ⟨hal-02045555⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA CNRS LIG LIG_GLSI_VASCO LIG_SIDCH
20 Consultations
0 Téléchargements

Partager

More