Recent Trends in Algebraic Development Techniques

Formal Methods in Software and Systems Modeling

By presenting state-of-the-art research results...

Graph Transformation

This book constitutes the refereed proceedings ...

Fundamental Approaches to Software Engineering

This book constitutes the refereed proceedings ...

Automata, Languages and Programming

This book constitutes the refereed proceedings ...

TAPSOFT ’89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989

TAPSOFT '89 is the Third International Joint Co...

Algebraic System Specification and Development

Methods for the algebraic specification of abst...

Graph Transformation

This book constitutes the refereed proceedings ...

Automata, Languages and Programming

The 28th International Colloquium on Automata, ...

Recent Trends in Data Type Specification

The algebraic specification of abstract data ty...

Recent Trends in Data Type Specification

Research in the area of abstract data types sta...

Recent Trends in Algebraic Development Techniques

This volume contains selected papers from WADT ...