Blair, G., Paolucci, M.,
Grace, P. & Georgantas, N.,
2011,
Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures. Bernardo, M. & Issarny, V. (eds.). Berlin:
Springer Verlag,
p. 1-26 26 p. (Lecture Notes in Computer Science; vol. 6659).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review