Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications
classification
💻 cs.LO
cs.PF
keywords
formalmethodsworkshopapplicationscontainsquantitativetheoryvolume
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.