Constructing Reusable Specifications Through Analogy.

Chia-Chu Chiang, David Neubart

Browse the full SAC paper archive.