W?adys?aw M. Turski (auth.)

{PDF} Fundamental Approaches to Software Engineering: Third International Conference, FASE 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 ? April 2, 2000 Proceedings W?adys?aw M. Turski (auth.), Tom Maibaum (eds.)