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

Curatela

Data di Pubblicazione:

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).

Tipologia CRIS:

04.08 Curatela di Atti di convegno

Keywords:

Quantitative Formal Methods; Software/Program Verification

Elenco autori: