CINECA IRIS Institutional Research Information System

A Formal Account of Contracts for Web Services

PADOVANI, Luca
2006-01-01
2006
Inglese
Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro
Web Services and Formal Methods
Esperti anonimi
Springer
Berlin
GERMANIA
LNCS 4184
148
162
15
9783540388623
9783540388654
LECTURE NOTES IN COMPUTER SCIENCE
WOS:000241442400010
2-s2.0-33845225835
sì
FRANCIA
1 – prodotto con file in versione Open Access (allegherò il file al passo 6 - Carica)
Carpineti, S.; Castagna, G.; Laneve, C.; Padovani, Luca
4
info:eu-repo/semantics/bookPart
02-CAPITOLO DI LIBRO::02A-Contributo in volume
268
reserved
02A-Contributo in volume
File in questo prodotto:
File Dimensione Formato  
2006 - WSFM - Carpineti Castagna Laneve Padovani - A Formal Account of Contracts for Web Services.pdf

Accesso riservato

Tipo di file: PDF EDITORIALE
Dimensione 265.28 kB
Formato Adobe PDF
  Visualizza/Apri   Richiedi una copia
265.28 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/69798
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 78
  • ???jsp.display-item.citation.isi??? 59
social impact