Fundamental Approaches to Software Engineering 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings - Baresi, Luciano; Heckel, Reiko; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2006)
Keywords: Computer science; Software engineering; Logic design; Computer Science; Software Engineering; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters