TY - DATA AU - Cerioli,Maura ED - SpringerLink (Online service) TI - Fundamental Approaches to Software Engineering: 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings SN - 9783540319849 AV - QA76.758 C47 2005 PY - 2005/// CY - Berlin, Heidelberg PB - Springer-Verlag Berlin Heidelberg KW - Computer science KW - Software engineering KW - Logic design KW - Computer Science KW - Software Engineering KW - Logics and Meanings of Programs KW - Programming Languages, Compilers, Interpreters UR - http://dx.doi.org/10.1007/b107062 ER -