Volume con contributi di autori stranieri multipli
M. Bravetti, G. Zavattaro (2007). Web Services and Formal Methods. AMSTERDAM : Elsevier.
Web Services and Formal Methods
BRAVETTI, MARIO;ZAVATTARO, GIANLUIGI
2007
Abstract
Volume con contributi di autori stranieri multipliFile in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.