Cited By
View all- Raza MJaved SKazmi MAziz AUl Haque MQazi S(2023)Approximate Computing: Hardware and Software Techniques, Tools and Their ApplicationsJournal of Circuits, Systems and Computers10.1142/S021812662430001033:04Online publication date: 20-Sep-2023
- Voogd EJohnsen ESilva ASusag ZWąsowski A(2023)Symbolic Semantics for Probabilistic ProgramsQuantitative Evaluation of Systems10.1007/978-3-031-43835-6_23(329-345)Online publication date: 15-Sep-2023
- Susag ZLahiri SHsu JRoy S(2022)Symbolic execution for randomized programsProceedings of the ACM on Programming Languages10.1145/35633446:OOPSLA2(1583-1612)Online publication date: 31-Oct-2022
- Show More Cited By