Massink M., Norman G.
Quantitative Formal Methods
This volume contains the proceedings of the Ninth Workshop on Quantitative Aspects of Programming Languages (QAPL 2011), held in Saarbrücken, Germany, April 1-3, 2011. QAPL 2011 is a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS 2011).
@inproceedings{oai:it.cnr:prodotti:206950, title = {Preface of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages}, author = {Massink M. and Norman G.}, doi = {10.4204/eptcs.57}, year = {2011} }