Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications
Logic in Computer Science
2009-12-14 v1 Performance
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.
Keywords
Cite
@article{arxiv.0912.2128,
title = {Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications},
author = {Suzana Andova and Annabelle McIver and Pedro D'Argenio and Pieter Cuijpers and Jasen Markovski and Caroll Morgan and Manuel Núñez},
journal= {arXiv preprint arXiv:0912.2128},
year = {2009}
}