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

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

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

TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Develo...

Methods for the algebraic specification of abstract data types were proposed in the early 1970s i...

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

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

This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic...

TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Develo...

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