fernando orejas

Fundamental Approaches to Software Engineering

This book constitutes the refereed proceedings of the 14th International Conference on Fundamenta...

Graph Transformation

This book constitutes the refereed proceedings of the 12th International Conference on Graph Tran...

Recent Trends in Algebraic Development Techniques

Formal Methods in Software and Systems Modeling

By presenting state-of-the-art research results on various aspects of formal and visual modeling ...

Automata, Languages and Programming

This book constitutes the refereed proceedings of the 28th International Colloquium on Automata, ...

Automata, Languages and Programming

The 28th International Colloquium on Automata, Languages and Programming (ICALP 2001) was held Ju...

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 Conference on Theory and Practice of Software Develo...

Recent Trends in Data Type Specification

The algebraic specification of abstract data types is now awell establishedresearch topic in comp...

Recent Trends in Data Type Specification

Research in the area of abstract data types started about 20 years ago. Since then there has been...

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 Conference on Theory and Practice of Software Develo...

Formal Methods in Software and Systems Modeling

By presenting state-of-the-art research results on various aspects of formal and visual modeli...

Graph Transformation

This book constitutes the refereed proceedings of the 12th International Conference on Graph Tran...