Dettaglio pubblicazione
2019, SOFTWARE TESTING, VERIFICATION & RELIABILITY, Pages - (volume: 29)
Memory Models in Symbolic Execution: Key Ideas and New Thoughts (01a Articolo in rivista)
Borzacchiello Luca, Coppa Emilio, D'Elia DANIELE CONO, Demetrescu Camil
keywords