Export 2 results:
Sort by:
Filters: Author is B.W. Weide  [Clear All Filters]
Kulczycki, G., M. Sitaraman, B. W. Weide, and A. Rountev, "A Specification-Based Approach to Reasoning about Pointers", Proceedings Specification and Verification of Component-Based Systems (ESEC/FSE SAVCBS '05) Workshop, vol. 31, issue 2, Lisbon, Portugal, September 2005.
Sitaraman, M., S. Atkinson, G. Kulczycki, B. W. Weide, T. J. Long, P. Bucci, S. Pike, W. Heym, and J. E. Hollingsworth, "Reasoning About Software Component Behavior", Proceedings of the Sixth International Conference on Software Reuse, Vienna, IEEE Computer Society Press, pp. 266-283, June 2000.