Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications | Publicación