Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications
arXiv:0912.2128 · doi:10.4204/EPTCS.13
Abstract
This volume contains the papers presented at the 1st workshop on Quantitative Formal Methods: Theory and Applications, which was held in Eindhoven on 3 November 2009 as part of the International Symposium on Formal Methods 2009. This volume contains the final versions of all contributions accepted for presentation at the workshop.