This file was created by the TYPO3 extension
bib
--- Timezone: CEST
Creation date: 2024-04-26
Creation time: 23-22-20
--- Number of references
1
inproceedings
2018-soria-dustmann-parti
PARTI: A Multi-interval Theory Solver for Symbolic Execution
2018
9
symbiosys
file:2195
Proceedings of the 2018 Conference on Automated Software Engineering (ASE'18)
10.1145/3238147.3238179
1
OscarSoria Dustmann
KlausWehrle
CristianCadar