Proceedings First Workshop on Quantitative Formal Methods : theory and applications (QFM'09, Eindhoven, The Netherlands, November 3, 2009)

S. Andova (Editor), A. McIver (Editor), P.R. D'Argenio (Editor), P.J.L. Cuijpers (Editor), J. Markovski (Editor), C. Morgan (Editor), M. Núñez (Editor)

Research output: Book/ReportBook editingAcademic

142 Downloads (Pure)

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.
Original languageEnglish
Publishers.n.
DOIs
Publication statusPublished - 2009

Publication series

NameElectronic Proceedings in Theoretical Computer Science
Volume13

Fingerprint

Dive into the research topics of 'Proceedings First Workshop on Quantitative Formal Methods : theory and applications (QFM'09, Eindhoven, The Netherlands, November 3, 2009)'. Together they form a unique fingerprint.

Cite this