Fundamental Approaches to Software Engineering : 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings - Matthew B. Dwyer, Antónia Lopes ((Lecture Notes in Computer Science))