Foundations of Software Science and Computational Structures
Publication year: 2007
: 978-3-540-71389-0
This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2007, held in Braga, Portugal in March/April 2007 as part of ETAPS 2007. The papers cover a broad spectrum on theories and methods to support analysis, synthesis, transformation and verification of programs and software systems.
: Computer Science, Automat, automata, formal verification, logical foundations, mathematical foundations, model checking, process algebras, program analysis, program correctness, program logics, programming, programming calculi, programming language, semantics, verification
