Data di Pubblicazione:
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.
Tipologia CRIS:
05A-Curatela
Elenco autori:
M. BERNARDO; L. PADOVANI; G. ZAVATTARO
Link alla scheda completa:
Pubblicato in: