Formal Methods for Quantitative Aspects of Programming Languages

Alessandro Aldini , Bernardo Marco , Di Pierro Alessandra