Formal Methods for Open Object-Based Distributed Systems

This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on...

Correct System Design

This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. ...

Integrated Formal Methods

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

Fundamental Approaches to Software Engineering

Tests and Proofs

Theoretical Aspects of Computing - ICTAC 2025

This book constitutes the proceedings of 22nd International Colloquium on Theoretical Aspects of ...