Home » Publication » 14502

Dettaglio pubblicazione

2017, ASE 2017 - Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, Pages 613-618

Rethinking Pointer Reasoning in Symbolic Execution (04b Atto di convegno in volume)

Coppa Emilio, D'Elia Daniele Cono, Demetrescu Camil

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