Web Services and Formal Methods
Résumé
Revised Selected Papers of the 8th International Workshop WS-FM
Proceedings/Recueil Des Communications
Année : 2011
É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 5 juillet 2023-15:28:04
Dates et versions
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⟩
Collections
80
Consultations
0
Téléchargements