Cited By
View all- Zhu HMagill SJagannathan S(2018)A data-driven CHC solverACM SIGPLAN Notices10.1145/3296979.319241653:4(707-721)Online publication date: 11-Jun-2018
- Zhu HMagill SJagannathan SFoster JGrossman D(2018)A data-driven CHC solverProceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3192366.3192416(707-721)Online publication date: 11-Jun-2018
- Kersten RSchäf MKahsai T(2017)Resource Contracts for JavaACM SIGSOFT Software Engineering Notes10.1145/3011286.301129441:6(1-5)Online publication date: 5-Jan-2017
- Show More Cited By