Q1008936
type: Item
instance of: scholarly article
title: Programming languages and systems. 18th European symposium on programming, ESOP 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22--29, 2009. Proceedings
zbMATH Open document ID: 1157.68004
DOI: 10.1007/978-3-642-00590-9
published in: Lecture Notes in Computer Science
publication date: 2009-03-31T00:00:00Z
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68Nxx
Mathematics Subject Classification ID: 00B25
zbMATH DE Number: 5535366
describes a project that uses: Coq
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/978-3-642-00590-9
OpenAlex ID: W1587388778
label: Programming languages and systems. 18th European symposium on programming, ESOP 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22--29, 2009. Proceedings
description: scientific article; zbMATH DE number 5535366