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.

Authors

Murali Sitaraman

This author has not been identified. Look up 'Murali Sitaraman' in Google

Steven Atkinson

This author has not been identified. Look up 'Steven Atkinson' in Google

Gregory Kulczycki

This author has not been identified. Look up 'Gregory Kulczycki' in Google

Bruce W. Weide

This author has not been identified. Look up 'Bruce W. Weide' in Google

Timothy J. Long

This author has not been identified. Look up 'Timothy J. Long' in Google

Paolo Bucci

This author has not been identified. Look up 'Paolo Bucci' in Google

Wayne D. Heym

This author has not been identified. Look up 'Wayne D. Heym' in Google

Scott M. Pike

This author has not been identified. Look up 'Scott M. Pike' in Google

Joseph E. Hollingsworth

This author has not been identified. Look up 'Joseph E. Hollingsworth' in Google