Home » Publication » 24442

Dettaglio pubblicazione

2022, ISEC 2022: 15th Innovations in Software Engineering Conference, Pages -

Handling Memory-Intensive Operations in Symbolic Execution (04b Atto di convegno in volume)

Borzacchiello Luca, Coppa Emilio, Demetrescu Camil

ISBN: 9781450396189
keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma