Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, ...

Alessandro Aldini , Marco Bernardo , Alessandra Di Pierro