APA (7th ed.) Citation

Cok, D. R., Leavens, G. T., Goos, G., Hartmanis, J., Bertino, E., Gao, W., . . . Margaria, T. (2022). Abstraction in Deductive Verification: Model Fields and Model Methods. Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I, 13701, 29. https://doi.org/10.1007/978-3-031-19849-6_3

Chicago Style (17th ed.) Citation

Cok, David R., Gary T. Leavens, Gerhard Goos, Juris Hartmanis, Elisa Bertino, Wen Gao, Bernhard Steffen, Moti Yung, and Tiziana Margaria. "Abstraction in Deductive Verification: Model Fields and Model Methods." Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I 13701 (2022): 29. https://doi.org/10.1007/978-3-031-19849-6_3.

MLA (9th ed.) Citation

Cok, David R., et al. "Abstraction in Deductive Verification: Model Fields and Model Methods." Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I, vol. 13701, 2022, p. 29, https://doi.org/10.1007/978-3-031-19849-6_3.