The volume presents the set of papers accompanying the lectures of the 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM). Luca Padovani served as co-director of the school (whence his role as editor of this volume) as well as one of the lecturers.
Bernardo, M., Padovani, L., Zavattaro, G. (2009). Formal Methods for Web Services. DEU : Springer [10.1007/978-3-642-01918-0].
Formal Methods for Web Services
M. BERNARDO;L. PADOVANI;G. ZAVATTARO
2009
Abstract
The volume presents the set of papers accompanying the lectures of the 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM). Luca Padovani served as co-director of the school (whence his role as editor of this volume) as well as one of the lecturers.File 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.
