Formal Techniques for Distributed Objects, Components, and Systems

This book constitutes the proceedings of the 36th IFIP WG 6.1International Conference on Formal T...

Logic-Based Program Synthesis and Transformation

InhaltsangabeSymbolic Evaluation Graphs and Term Rewriting - A General Methodology for Analyzing ...

Integrated Formal Methods

This book constitutes the refereed proceedings of the 11th International Conference on Integrated...

Fundamental Approaches to Software Engineering