Searching for authors named "Changqing Wang" – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

Dynamic Verification of C++ Generic Algorithms
by Changqing Wang, David R. Musser — 1997 — IEEE Transactions on Software Engineering
…Dynamic Verification of C++ Generic Algorithms Changqing Wang y and David R. Musser Computer…
Cited by 7 (0 self) – Add To MetaCart

A Basis for Formal Specification and Verification of Generic Algorithms in the C++ Standard Template Library
by David R. Musser, Changqing Wang — 1995
… Template Library David R. Musser and Changqing Wang Computer Science Department Rensselaer Polytechnic…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 2.

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