APA (7th ed.) Citation

Borgida, A., Mylopoulos, J., & Reiter, R. (1993). '. . . and nothing else changes': The frame problem in procedure specifications. Proceedings of 1993 15th International Conference on Software Engineering, 303-314. https://doi.org/10.1109/ICSE.1993.346034

Chicago Style (17th ed.) Citation

Borgida, A., J. Mylopoulos, and R. Reiter. "'. . . and Nothing Else Changes': The Frame Problem in Procedure Specifications." Proceedings of 1993 15th International Conference on Software Engineering 1993: 303-314. https://doi.org/10.1109/ICSE.1993.346034.

MLA (9th ed.) Citation

Borgida, A., et al. "'. . . and Nothing Else Changes': The Frame Problem in Procedure Specifications." Proceedings of 1993 15th International Conference on Software Engineering, 1993, pp. 303-314, https://doi.org/10.1109/ICSE.1993.346034.