Verification of Component Behavioral Compatibility.

Donald C. Craig, Wlodzimierz M. Zuberek

Browse the full DEPCoS paper archive.