APA (7th ed.) Citation

Rodrigues, V., Donetti, S., & Damiani, F. (2019). Certifying delta-oriented programs. Software and systems modeling, 18(5), 2875-2906. https://doi.org/10.1007/s10270-018-00704-x

Chicago Style (17th ed.) Citation

Rodrigues, Vítor, Simone Donetti, and Ferruccio Damiani. "Certifying Delta-oriented Programs." Software and Systems Modeling 18, no. 5 (2019): 2875-2906. https://doi.org/10.1007/s10270-018-00704-x.

MLA (9th ed.) Citation

Rodrigues, Vítor, et al. "Certifying Delta-oriented Programs." Software and Systems Modeling, vol. 18, no. 5, 2019, pp. 2875-2906, https://doi.org/10.1007/s10270-018-00704-x.