TY  - BOOK
AU  - Castagna,Giuseppe
ED  - SpringerLink (Online service)
TI  - 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 
T2  - Lecture Notes in Computer Science,
SN  - 9783642005909
PY  - 2009///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Information theory
KW  - Computer software
KW  - Logic design
KW  - Computer Science
KW  - Programming Languages, Compilers, Interpreters
KW  - Software Engineering/Programming and Operating Systems
KW  - Programming Techniques
KW  - Logics and Meanings of Programs
KW  - Algorithm Analysis and Problem Complexity
KW  - Theory of Computation
UR  - http://dx.doi.org/10.1007/978-3-642-00590-9
ER  -