The 28th International Colloquium on Automata, Languages and Programming (ICALP 2001) was held Ju...
TAPSOFT ''89 is the Third International Joint Conference on Theory and Practice of Software Devel...
The algebraic specification of abstract data types is now awell establishedresearch topic in co...
Research in the area of abstract data types started about 20 years ago. Since then there has been...
TAPSOFT ''89 is the Third International Joint Conference on Theory and Practice of Software Devel...
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...
This book constitutes the thoroughly refereed postproceedings of the 17th International Workshop ...