TY  - RPRT
TI  - Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications
AU  - Suzana Andova
AU  - Annabelle McIver
AU  - Pedro D'Argenio
AU  - Pieter Cuijpers
AU  - Jasen Markovski
AU  - Caroll Morgan
AU  - Manuel Núñez
PY  - 2009
DO  - 10.4204/eptcs.13
UR  - https://arxiv.org/abs/0912.2128
ID  - 0912.2128
ER  -