APA (7th ed.) Citation

Cortes, D., Ortiz, J., Basile, D., Aranda, J., Perrouin, G., & Schobbens, P. (2024, April 14). Time for Networks: Mutation Testing for Timed Automata Networks. FME Workshop on Formal Methods in Software Engineering (Online), 44-54. https://doi.org/10.1145/3644033.3644378

Chicago Style (17th ed.) Citation

Cortes, David, James Ortiz, Davide Basile, Jesus Aranda, Gilles Perrouin, and Pierre-Yves Schobbens. "Time for Networks: Mutation Testing for Timed Automata Networks." FME Workshop on Formal Methods in Software Engineering (Online) 14 Apr. 2024: 44-54. https://doi.org/10.1145/3644033.3644378.

MLA (9th ed.) Citation

Cortes, David, et al. "Time for Networks: Mutation Testing for Timed Automata Networks." FME Workshop on Formal Methods in Software Engineering (Online), 14 Apr. 2024, pp. 44-54, https://doi.org/10.1145/3644033.3644378.