...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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.