Foundations of Software Science and Computational Structures 10th International Conference, Fossacs 2007, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2007, Braga, Por

The 25 revised full papers presented in this book together with the abstract of one invited talk were carefully reviewed and selected from 103 submissions. The papers cover a broad spectrum on theories and methods to support analysis, synthesis, transformation and verification of programs and software systems.Foundations of Software Science and Computational Structures 10th International Conference, Fossacs 2007, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2007, Braga, Por, was published 2007 under ISBN 9783540713883 and ISBN 3540713883.