Publisher's Synopsis
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.