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

Curatela

Data di Pubblicazione:

2011

Abstract:

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

Tipologia CRIS:

04.08 Curatela di Atti di convegno

Keywords:

Quantitative Formal Methods

Elenco autori: