Title: Selected Papers of the 20th European Symposium on Programming (ESOP 2011)
Editors: Barthe, Gilles
Piessens, Frank
Issue Date: 2011
Publisher: Logical Methods in Computer Science (special issue)
ISSN: 1860-5974
Publication status: published
KU Leuven publication type: IBe
Appears in Collections:Informatics Section

Files in This Item:

There are no files associated with this item.


All items in Lirias are protected by copyright, with all rights reserved.