Web Services and Formal Methods

Marco Carbone Jean-Marc Petit 1
1 BD - Base de Données
LIRIS - Laboratoire d'InfoRmatique en Image et Systèmes d'information
Abstract : Revised Selected Papers of the 8th International Workshop WS-FM
Document type :
Directions of work or proceedings
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01354570
Contributor : Équipe Gestionnaire Des Publications Si Liris <>
Submitted on : Thursday, August 18, 2016 - 7:33:17 PM
Last modification on : Tuesday, February 26, 2019 - 4:07:28 PM

Identifiers

  • HAL Id : hal-01354570, version 1

Citation

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⟩

Share

Metrics

Record views

173