APA (7th ed.) Citation

De Angelis, E., Fioravanti, F., Pettorossi, A., & Proietti, M. (2014). Program verification via iterated specialization. Science of computer programming, 95, 149-175. https://doi.org/10.1016/j.scico.2014.05.017

Chicago Style (17th ed.) Citation

De Angelis, E., F. Fioravanti, A. Pettorossi, and M. Proietti. "Program Verification via Iterated Specialization." Science of Computer Programming 95 (2014): 149-175. https://doi.org/10.1016/j.scico.2014.05.017.

MLA (9th ed.) Citation

De Angelis, E., et al. "Program Verification via Iterated Specialization." Science of Computer Programming, vol. 95, 2014, pp. 149-175, https://doi.org/10.1016/j.scico.2014.05.017.