This book constitutes the revised selected papers of the 10th International Symposium on Formal A...

Contributed Papers.- A Temporal Graph Logic for Verification of Graph Transformation Systems.- On...

Why Another Book on Category Theory? In the past ten years, several books have been published on ...

Invited Technical Paper.- Behavior-Preserving Refinement Relations Between Dynamic Software Archi...

Role-based Development of Dynamically Evolving Esembles.- Parameterized Strategies Specication in...