Foundations of software science and computation structures : 10th International Conference, FoSSaCS 2007 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 : Braga, Portugal, March 24-April 1, 2007 : proceedings - Seidl, Helmut (Lecture notes in computer science ;, 2007)