Reasoning About Software Component Behavior

TitleReasoning About Software Component Behavior
Publication TypeConference Paper
Year of Publication2000
AuthorsSitaraman, M., S. Atkinson, G. Kulczycki, B. W. Weide, T. J. Long, P. Bucci, S. Pike, W. Heym, and J. E. Hollingsworth
Conference NameProceedings of the Sixth International Conference on Software Reuse
Date PublishedJune 2000
PublisherIEEE Computer Society Press
Conference LocationVienna