TY  - BOOK
AU  - Barthe,Gilles
ED  - European Symposium on Programming
ED  - ETAPS 2011
TI  - Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings 
SN  - 9783642197185
PY  - 2011///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computer Communication Networks
KW  - Software engineering
KW  - Logic design
KW  - Artificial intelligence
KW  - Artificial Intelligence (incl. Robotics)
UR  - http://dx.doi.org/10.1007/978-3-642-19718-5
ER  -