A Formal Approach to Component-Based Software Engineering: Education and Evaluation.

Murali Sitaraman, Timothy J. Long, Bruce W. Weide, E. James Harner, Liqing Wang

Browse the full ICSE paper archive.