Scalable Templates for Specification Reuse.

Chia-Chu Chiang, Joseph E. Urban

Browse the full COMPSAC paper archive.