Qualitative and Quantitative Formal Methods for Computer Science