Foundations of Software Science and Computation Structures: Proc./5th Intern. Conf., FOSSACS 2002, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 2002

Б2, Б3.

Foundations of Software Science and Computation Structures: Proc./5th Intern. Conf., FOSSACS 2002, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 2002Ed. by Nielsen M., Engberg U..-Berlin, Heidelberg.: Springer, 2002.-Vol. 2303.-435 p.-(Lecture Notes in Computer Science).