Programming Languages and Systems: Proc./9th European Symp. on Programming, ESOP 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000. Berlin, Germany, March-April 2000

Б3.1, Б3.2, Б3.5.

Programming Languages and Systems: Proc./9th European Symp. on Programming, ESOP 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000. Berlin, Germany, March-April 2000Ed. by Smolka G..-Berlin, Heidelberg.: Springer, 2000.-Vol. 1782.-429 p.-(Lecture Notes in Computer Science).