Proceedings First Workshop on Quantitative Formal Methods : theory and applications (QFM'09, Eindhoven, The Netherlands, November 3, 2009)
Andova, Suzana, Annabelle K. McIver, Pedro R. D’Argenio, Pjl Pieter Cuijpers, Markovski, Jasen, Morgan, Caroll, Núñez, Manuel · Electronic Proceedings in Theoretical Computer Science · 2009
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.