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. The 25 revised full papers presented together
with the abstract of one invited talk cover a broad spectrum on
theories and methods to support analysis, synthesis, transformation
and verification of programs and software systems.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!