Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Binder, Walter (Editor), Bodden, Eric (Editor), Löwe, Welf (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
• Series: Lecture Notes in Computer Science, 8088
• Subjects: Computer science.; Software engineering.; Computer logic.; Mathematical logic.; Computer Science.; Software Engineering.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.

The book constitutes the refereed proceedings of the 12th International Conference on Software Composition, SC 2013, held in Budapest, Hungary, in June 2013, co-located with the STAF 2013 Federated Conferences. The 9 revised full papers were carefully reviewed and selected from 21 submissions for in...