Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications

TitleProceedings First Workshop on Quantitative Formal Methods: Theory and Applications
Publication TypeConference Proceedings
Year of Conference2009
EditorAndova, S, McIver, A, D'Argenio, PR, Cuijpers, PJL, Markovski, J, Morgan, C, Núñez, M
Conference NameQFM
Series TitleEPTCS
Volume13
URLhttp://arxiv.org/abs/0912.2128
DOI10.4204/EPTCS.13