Programming Languages and Systems: Proc./20th European Symposium on Programming, ESOP 2011 Held as Part of the Joint European Conferences ETAPS 2011, Saabrucken, Germany, March 2011

Б3.5, Б2.2, Б3.1.

Programming Languages and Systems: Proc./20th European Symposium on Programming, ESOP 2011 Held as Part of the Joint European Conferences ETAPS 2011, Saabrucken, Germany, March 2011Ed. by Barthe G..-Berlin.: Springer, 2011.-Vol. 6602.-501 p.-(Lecture Notes in Computer Science).