Modular Consistency Analysis of Component-Based Design

Yan Jin, Charles Lakos, Robert Esser. Modular Consistency Analysis of Component-Based Design. Australian Computer Journal, 36(3):187-208, 2004.

Abstract

Abstract is missing.