Home » Publication » 17554

Dettaglio pubblicazione

2018, ACM COMPUTING SURVEYS, Pages - (volume: 51)

A Survey of Symbolic Execution Techniques (01a Articolo in rivista)

Baldoni Roberto, Coppa Emilio, D'Elia Daniele Cono, Demetrescu Camil, Finocchi Irene

Gruppo di ricerca: Cybersecurity
keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma