Refinement of models of software components.

Zizhen Wang, Hanpin Wang, Naijun Zhan

Browse the full SAC paper archive.