This Festschrift volume, published in honor of Willem-Paul de Roever, contains 19 detailed papers written by the friends and colleagues of the honoree, all emin

A major challenge for computer science is to develop methods that ensure program correctness. This textbook provides a structured introduction to program verifi

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The approach is

This volume constitutes the proceedings of the 19th International Symposium on Mathematical Foundations of Theoretical Computer Science, MFCS '94, held in Kosic

The second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages,