APA (7th ed.) Citation

Sánchez, C., Schneider, G., Ahrendt, W., Bartocci, E., Bianculli, D., Colombo, C., . . . Weiss, A. (2019). Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods in System Design, 55(1), 72. https://doi.org/10.1007/s10703-019-00343-y

Chicago Style (17th ed.) Citation

Sánchez, César, et al. "Correction to: A Survey of Challenges for Runtime Verification from Advanced Application Domains (beyond Software)." Formal Methods in System Design 55, no. 1 (2019): 72. https://doi.org/10.1007/s10703-019-00343-y.

MLA (9th ed.) Citation

Sánchez, César, et al. "Correction to: A Survey of Challenges for Runtime Verification from Advanced Application Domains (beyond Software)." Formal Methods in System Design, vol. 55, no. 1, 2019, p. 72, https://doi.org/10.1007/s10703-019-00343-y.