CINECA IRIS Institutional Research Information System

A Formal Account of Contracts for Web Services

PADOVANI, Luca
2006-01-01
2006
Web Services and Formal Methods
Springer
LNCS 4184
148
162
9783540388623
9783540388654
Carpineti, S.; Castagna, G.; Laneve, C.; Padovani, Luca
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 80
  • ???jsp.display-item.citation.isi??? 60
social impact