This file was created by the TYPO3 extension
bib
--- Timezone: CET
Creation date: 2023-11-30
Creation time: 16-10-01
--- 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