Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Egyed, Alexander (Editor), Schaefer, Ina (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015.
• Series: Lecture Notes in Computer Science, 9033
• Subjects: Computer science.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Mathematical logic.; Computer Science.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.

This book constitutes the proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering, FASE 2015, held in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 22 full papers and 1 short paper p...