Cited By
View all- Urban C(2023)Static Analysis for Data ScientistsChallenges of Software Verification10.1007/978-981-19-9601-6_5(77-91)Online publication date: 22-Jul-2023
- Rabe MTentrup LRasmussen CSeshia S(2018)Understanding and Extending Incremental Determinization for 2QBFComputer Aided Verification10.1007/978-3-319-96142-2_17(256-274)Online publication date: 18-Jul-2018
- Zeljić ABackeman PWintersteiger CRümmer P(2018)Exploring Approximations for Floating-Point Arithmetic Using UppSATAutomated Reasoning10.1007/978-3-319-94205-6_17(246-262)Online publication date: 30-Jun-2018
- Show More Cited By