APA (7th ed.) Citation

Ferrando, A., & Delzanno, G. (2023). Incrementally predictive runtime verification. Journal of Logic & Computation, 33(4), 796. https://doi.org/10.1093/logcom/exad012

Chicago Style (17th ed.) Citation

Ferrando, Angelo, and Giorgio Delzanno. "Incrementally Predictive Runtime Verification." Journal of Logic & Computation 33, no. 4 (2023): 796. https://doi.org/10.1093/logcom/exad012.

MLA (9th ed.) Citation

Ferrando, Angelo, and Giorgio Delzanno. "Incrementally Predictive Runtime Verification." Journal of Logic & Computation, vol. 33, no. 4, 2023, p. 796, https://doi.org/10.1093/logcom/exad012.