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 |