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

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

Massink M
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).
2012
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Quantitative Formal Methods
Software/Program Verification
File in questo prodotto:
File Dimensione Formato  
prod_275092-doc_76980.pdf

solo utenti autorizzati

Descrizione: EPTCS 85 Preface of the Proceedings Tenth Workshop on Quantitative Aspects of Programming Languages
Tipologia: Versione Editoriale (PDF)
Dimensione 114.04 kB
Formato Adobe PDF
114.04 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/266566
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact