A Logic-Model Semantics for SCR Software Requirements.

Joanne M. Atlee, Michael A. Buckley

Browse the full ISSTA paper archive.