Web Services and Formal Methods - Archive ouverte HAL Access content directly
Proceedings Year : 2011

Web Services and Formal Methods

Marco Carbone
  • Function : Author
Jean-Marc Petit


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

Dates and versions

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


  • 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⟩
72 View
0 Download


Gmail Facebook Twitter LinkedIn More