Skip to Main content Skip to Navigation
Conference papers

A formal account of contracts for Web Services

Samuele Carpineti 1 Giuseppe Castagna 2 Cosimo Laneve 1 Luca Padovani 3 
1 DISI - Department of Computer Science and Engineering [Bologna]
2 LIENS - Laboratoire d'informatique de l'école normale supérieure
3 ISTI - Information Science and Technology Institute
Document type :
Conference papers
Complete list of metadata
https://hal.archives-ouvertes.fr/hal-00152568
Contributor : Giuseppe Castagna Connect in order to contact the contributor
Submitted on : Thursday, June 7, 2007 - 10:29:00 AM
Last modification on : Thursday, March 17, 2022 - 10:08:25 AM

Identifiers

  • HAL Id : hal-00152568, version 1

Collections

ENS-PARIS | CNRS | INRIA | PSL

Citation

Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, Luca Padovani. A formal account of contracts for Web Services. 2006, pp.148-162. ⟨hal-00152568⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

35