...And Nothing Else Changes : The Frame Problem in Procedure Specifications

Alexander Borgida, John Mylopoulos, Raymond Reiter. ...And Nothing Else Changes : The Frame Problem in Procedure Specifications. In ICSE. pages 303-314, 1993. [doi]

Abstract

Abstract is missing.