ESEC 91 : 3rd European Software Engineering Conference

This volume presents the proceedings of the Third European Software Engineering Conference. Themes include formal methods and practical experiences with them, special techniques for real-time systems, software evolution and re-engineering, software engineering environments, and software metrics.