Preface of the Proceedings Tenth Workshop on Quantitative Aspects of Programming Languages

Edited Book
Publication Date:
2012
abstract:
This volume contains the proceedings of the Tenth Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2012), held in Tallinn, Estonia, on 31 March and 1 April, 2012. QAPL 2012 was a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS 2012).
Iris type:
04.08 Curatela di Atti di convegno
Keywords:
Quantitative Formal Methods; Software/Program Verification
List of contributors:
Authors of the University:
Handle:
https://iris.cnr.it/handle/20.500.14243/266566
Published in:
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
Journal