APA (7th ed.) Citation

Negrini, L., Arceri, V., Cortesi, A., & Ferrara, P. (2024). Tarsis: An effective automata‐based abstract domain for string analysis. Journal of Software: Evolution & Process, 36(8), 1. https://doi.org/10.1002/smr.2647

Chicago Style (17th ed.) Citation

Negrini, Luca, Vincenzo Arceri, Agostino Cortesi, and Pietro Ferrara. "Tarsis: An Effective Automata‐based Abstract Domain for String Analysis." Journal of Software: Evolution & Process 36, no. 8 (2024): 1. https://doi.org/10.1002/smr.2647.

MLA (9th ed.) Citation

Negrini, Luca, et al. "Tarsis: An Effective Automata‐based Abstract Domain for String Analysis." Journal of Software: Evolution & Process, vol. 36, no. 8, 2024, p. 1, https://doi.org/10.1002/smr.2647.