Validating Software Specifications against User Claims.

Chia-Chu Chiang, Joseph E. Urban

Browse the full COMPSAC paper archive.