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 / [electronic resource] :
edited by Maura Cerioli.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005.
- v.: digital
- Lecture Notes in Computer Science, 3442 0302-9743 ; .
9783540319849
Computer science Software engineering Logic design Computer Science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters