APA (7th ed.) Citation

De Angelis, E., Fioravanti, F., Pettorossi, A., & Proietti, M. (2017). Semantics-based generation of verification conditions via program specialization. Science of computer programming, 147, 78-108. https://doi.org/10.1016/j.scico.2016.11.002

Chicago Style (17th ed.) Citation

De Angelis, E., F. Fioravanti, A. Pettorossi, and M. Proietti. "Semantics-based Generation of Verification Conditions via Program Specialization." Science of Computer Programming 147 (2017): 78-108. https://doi.org/10.1016/j.scico.2016.11.002.

MLA (9th ed.) Citation

De Angelis, E., et al. "Semantics-based Generation of Verification Conditions via Program Specialization." Science of Computer Programming, vol. 147, 2017, pp. 78-108, https://doi.org/10.1016/j.scico.2016.11.002.