APA (7th ed.) Citation

Sánchez, C., Schneider, G., Ahrendt, W., Bartocci, E., Bianculli, D., Colombo, C., . . . Weiss, A. (2019). A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods in System Design, 54(3), 279. https://doi.org/10.1007/s10703-019-00337-w

Chicago Style (17th ed.) Citation

Sánchez, César, et al. "A Survey of Challenges for Runtime Verification from Advanced Application Domains (beyond Software)." Formal Methods in System Design 54, no. 3 (2019): 279. https://doi.org/10.1007/s10703-019-00337-w.

MLA (9th ed.) Citation

Sánchez, César, et al. "A Survey of Challenges for Runtime Verification from Advanced Application Domains (beyond Software)." Formal Methods in System Design, vol. 54, no. 3, 2019, p. 279, https://doi.org/10.1007/s10703-019-00337-w.