Formal methods for quantitative aspects of programming languages by International School on Formal Methods for the Design of Computer, Communication, and Software Systems (10th 2010 Bertinoro, Italy) | Menrva Books