Searching for "Reasoning about Software-Component Behavior." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Proceedings of the RESOLVE Workshop 2002, Columbus, OH, June 17-19, 2002
by Stephen H. Edwards (ed.), Edited Stephen, H. Edwards, A More, Seamless Checking, Joseph E. Hollingsworth, Joseph E. Hollingsworth, W. Christopher Lang, Bruce W. Weide, The Ohio, Larry Latour, Ling Huang, Tom Wheeler, Bruce W. Weide, Scott M. Pike, Wayne D. Heym, The Ohio, Thomas J. Wheeler, Levent Yilmaz, Trident Systems Incorporated — 2002
… University Good News and Bad News About Software Engineering Practice ................................. 22…
Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB