Biblio

Export 2 results:
Sort by:
Filters: Author is B.W. Weide  [Clear All Filters]
2005
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.
2000
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.