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.
Formal Methods for Web Services
PADOVANI, Luca;
2009-01-01
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:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
