Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2009
- DOI:
- 10.48550/arXiv.0912.2128
- arXiv:
- arXiv:0912.2128
- Bibcode:
- 2009arXiv0912.2128A
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Computer Science - Performance;
- D.2.1;
- D.2.4;
- D.3.1;
- F.3.1
- E-Print:
- EPTCS 13, 2009