Foundations of Software Science and Computation Structures: Proc./6th Intern. Conf., FOSSACS 2003, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 2003

Б2.2, Б2.3, Б2.1.

Foundations of Software Science and Computation Structures: Proc./6th Intern. Conf., FOSSACS 2003, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 2003Ed. by Gordon A. D..-Berlin, Heidelberg.: Springer, 2003.-Vol. 2620.-441 p.-(Lecture Notes in Computer Science).