Q1935967
type: Item
instance of: scholarly article
title: Programming languages and systems. 22nd European symposium on programming, ESOP 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16--24, 2013. Proceedings
zbMATH Open document ID: 1268.68016
DOI: 10.1007/978-3-642-37036-6
published in: Lecture Notes in Computer Science
publication date: 2013-02-20T00:00:00Z
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68Nxx
Mathematics Subject Classification ID: 00B25
zbMATH DE Number: 6137627
describes a project that uses: FliPpr
describes a project that uses: Why3
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/978-3-642-37036-6
OpenAlex ID: W2480534701
label: Programming languages and systems. 22nd European symposium on programming, ESOP 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16--24, 2013. Proceedings
description: scientific article; zbMATH DE number 6137627