Web Services and Formal Methods - Archive ouverte HAL
Proceedings/Recueil Des Communications Année : 2011

Web Services and Formal Methods

Marco Carbone
  • Fonction : Auteur
Jean-Marc Petit
Base de Données
CV

Résumé

Revised Selected Papers of the 8th International Workshop WS-FM

Domaines

Informatique [cs]

Équipe gestionnaire des publications SI LIRIS  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01354570

Soumis le : jeudi 18 août 2016-19:33:17

Dernière modification le : mercredi 4 septembre 2024-17:34:07

Fichier non déposé

Dates et versions

hal-01354570 , version 1 (18-08-2016)

Identifiants

  • HAL Id : hal-01354570 , version 1

Citer

Marco Carbone, Jean-Marc Petit. Web Services and Formal Methods. 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, Springer, pp.1-142, 2011, 978-3-642-29833-2. ⟨hal-01354570⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UNIV-LYON1 UNIV-LYON2 INSA-LYON EC-LYON LIRIS LABEXIMU INSA-GROUPE UDL
91 Consultations
0 Téléchargements

Partager

More