PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Wiklicky H., Massink M., (eds.) .. Preface of the Proceedings Tenth Workshop on Quantitative Aspects of Programming Languages. In: Quantitative Aspects of Programming Languages and Systems 2012. Editorial, vol. 85 Mieke Massink and Herbert Wiklicky (eds.). Electronic Proceedings in Theoretical Computer Science, 2012.
 
 
Abstract
(English)
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).
URL: http://arxiv.org/html/1207.0559
DOI: 10.4204/EPTCS.85
Subject Quantitative Formal Methods
D.2.4 Software/Program Verification
68N30 Mathematical Aspects of software engineering (specification, verification, metrics, requirements, etc.)


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional