APA (7th ed.) Citation

Gerhart, S., Craigen, D., & Ralston, T. (1993). Observations on industrial practice using formal methods. Proceedings of 1993 15th International Conference on Software Engineering, 24-33. https://doi.org/10.1109/ICSE.1993.346058

Chicago Style (17th ed.) Citation

Gerhart, S., D. Craigen, and T. Ralston. "Observations on Industrial Practice Using Formal Methods." Proceedings of 1993 15th International Conference on Software Engineering 1993: 24-33. https://doi.org/10.1109/ICSE.1993.346058.

MLA (9th ed.) Citation

Gerhart, S., et al. "Observations on Industrial Practice Using Formal Methods." Proceedings of 1993 15th International Conference on Software Engineering, 1993, pp. 24-33, https://doi.org/10.1109/ICSE.1993.346058.