Aldini, A., Bernardo, M., Pierro, A., & Wiklicky, H. (2010). Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures. Berlin, Heidelberg: Springer Berlin Heidelberg.

Formal Methods for Quantitative Aspects of Programming Languages : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures / edited by Alessandro Aldini, Marco Bernardo, Alessandra Pierro, Herbert Wiklicky . — Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. — Online-Ressource (VII, 169p. 31 illus, digital). — (Lecture notes in computer science ; 6154). — ISBN 9783642136788