Alexander Borgida, John Mylopoulos, Raymond Reiter. ...And Nothing Else Changes : The Frame Problem in Procedure Specifications. In ICSE. pages 303-314, 1993. [doi]
No references recorded for this publication.
No citations of this publication recorded.