Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications
| Title | Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications |
| Publication Type | Conference Proceedings |
| Year of Conference | 2009 |
| Editor | Andova, S, McIver, A, D'Argenio, PR, Cuijpers, PJL, Markovski, J, Morgan, C, Núñez, M |
| Conference Name | QFM |
| Series Title | EPTCS |
| Volume | 13 |
| URL | http://arxiv.org/abs/0912.2128 |
| DOI | 10.4204/EPTCS.13 |