formal methods for quantitative aspects of programming languages,10th international school on formal methods for the design of computer, communication and software s

alessandro (edt) aldini · springer-verlag new york inc