Saumya, C., Hassan, M., Gangaraju, R., Kulkarni, M., & Sundararajah, K. (2023). Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution.
Citazione stile Chigago Style (17a edizione)Saumya, Charitha, Muhammad Hassan, Rohan Gangaraju, Milind Kulkarni, e Kirshanthan Sundararajah. Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution. 2023.
Citatione MLA (9a ed.)Saumya, Charitha, et al. Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution. 2023.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.