Cita APA (7a ed.)

Horvath, G., Kovacs, R., & Porkolab, Z. (2024). Scaling Symbolic Execution to Large Software Systems.

Cita Chicago Style (17a ed.)

Horvath, Gabor, Reka Kovacs, y Zoltan Porkolab. Scaling Symbolic Execution to Large Software Systems. 2024.

Cita MLA (9a ed.)

Horvath, Gabor, et al. Scaling Symbolic Execution to Large Software Systems. 2024.