Fundamental Approaches to Software Engineering :
3rd International Conference, FASE 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

by FASE 2000 Staff, Thomas S. E. Maibaum