An Automated Tool for Analyzing Completeness of Equational Specifications.

Deepak Kapur

Browse the full ISSTA paper archive.