Reasoning about Software-Component Behavior

Murali Sitaraman, Steven Atkinson, Gregory Kulczycki, Bruce W. Weide, Timothy J. Long, Paolo Bucci, Wayne D. Heym, Scott M. Pike, Joseph E. Hollingsworth. Reasoning about Software-Component Behavior. In William B. Frakes, editor, Software Reuse: Advances in Software Reusability, 6th International Conerence, ICSR-6, Vienna, Austria, June 27-29, 2000, Proceedings. Volume 1844 of Lecture Notes in Computer Science, pages 266-283, Springer, 2000.

Abstract

Abstract is missing.