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

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

Alessandro Aldini , Marco Bernardo , Alessandra Di Pierro