Skip to Main content Skip to Navigation
Directions of work or proceedings

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
Contributor : Équipe Gestionnaire Des Publications Si Liris <>
Submitted on : Thursday, August 18, 2016 - 7:33:17 PM
Last modification on : Wednesday, November 20, 2019 - 2:52:12 AM


  • HAL Id : hal-01354570, version 1


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⟩



Record views