% 
% This file was created by the TYPO3 extension
% bib
% --- Timezone: CEST
% Creation date: 2024-04-26
% Creation time: 19-06-03
% --- Number of references
% 1
% 

@Inproceedings { 2018-soria-dustmann-parti,
   title = {PARTI: A Multi-interval Theory Solver for Symbolic Execution},
   year = {2018},
   month = {9},
   tags = {symbiosys},
   url = {file:2195},
   booktitle = {Proceedings of the 2018 Conference on Automated Software Engineering (ASE'18)},
   DOI = {10.1145/3238147.3238179},
   reviewed = {1},
   author = {Soria Dustmann, Oscar and Wehrle, Klaus and Cadar, Cristian}
}