Foundations of Software Science and Computational Structures
Publication year: 2007
ISBN: 978-3-540-71389-0
Internet Resource: Please Login to download book
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.
Subject: 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
