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

by Jerzy Tiuryn