PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Massink M., Norman G., (eds.) .. Preface of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages. In: Quantitative Aspects of Programming Languages 2011. Editorial, vol. 57 pp. i - iii. Electronic Proceedings in Theoretical Computer Science, 2011.
 
 
Abstract
(English)
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).
URL: http://cgi.cse.unsw.edu.au/~rvg/eptcs/content.cgi?QAPL2011#EPTCS57.0
DOI: 10.4204/EPTCS.57
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