Reading: Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000: Proceedings full version

You are about to access our book library "Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000: Proceedings full version" .