Foundations of Software Science and Computation Structures: Proc./Second Intern. Conf., FOSSACS 99, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 99. Amsterdam, The Netherlands, March 1999

Б2, Б3.5.

Foundations of Software Science and Computation Structures: Proc./Second Intern. Conf., FOSSACS 99, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 99. Amsterdam, The Netherlands, March 1999Ed. by Thomas W..-Berlin, Heidelberg.: Springer, 1999.-Vol. 1578.-323 p.-(Lecture Notes in Computer Science).