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