On the correctness of modular systems

Authors:
Marisa Navarro;Fernando Orejas;Ana Sánchez
Affiliations:
Univ. del Pais Vasco, San Sebastian, Spain;Univ. Polite´cnica de Catalun˜a, Barcelona, Spain;Univ. del Pais Vasco, San Sebastian, Spain
Venue:
AMAST '93 Selected papers of the international conference on Algebraic methodology of software technology
Year:
1995

Hierarchical Heterogeneous Specifications

WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Architectural Specifications in CASL

AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
A Reuse-Oriented Framework for Hierarchical Specifications

AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology

Hi-index	0.00