Fundamental Approaches to Software Engineering

17th International Conference, Fase 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2014, Grenoble, France, April 5-13, 2014, Proceedings