Hierarchical Heterogeneous Specifications
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
A graphical yet formalized framework for specifying view systems
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Hi-index | 0.00 |