On the Frame Problem in Procedure Specifications

@article{Borgida1995OnTF,
  title={On the Frame Problem in Procedure Specifications},
  author={Alexander Borgida and John Mylopoulos and Raymond Reiter},
  journal={IEEE Trans. Software Eng.},
  year={1995},
  volume={21},
  pages={785-798}
}

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…