An Abductive Approach for Analysing Event-Based Requirements Specifications.

Alessandra Russo, Rob Miller, Bashar Nuseibeh, Jeff Kramer

Browse the full ICLP paper archive.