CNR Institutional Research Information System

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
Inglese
2
http://arxiv.org/html/1207.0559
Convegno Tallinn, Estonia, 31March - 1 April 2012 Pubblicato da Electronic Proceedings in Theoretical Computer Science, vol. 85, pag. (i-iii). The is the Preface of the Post-proceedings of the QAPL 2012 International Workshop that was held as a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS 2012)
Quantitative Formal Methods
Software/Program Verification
Sì, ma tipo non specificato
2
04 Contributo in convegno::04.08 Curatela di Atti di convegno
Wiklicky, H; Massink, M
284
info:eu-repo/semantics/other
restricted
04.08 Curatela di Atti di convegno
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
  Visualizza/Apri   Richiedi una copia
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