Analyzing Inconsistent Specifications.

Anthony Hunter, Bashar Nuseibeh

Browse the full RE paper archive.