Cited By
View all- Monteiro FGadelha MCordeiro L(2021)Model checking C++ programsSoftware Testing, Verification and Reliability10.1002/stvr.179332:1Online publication date: 8-Sep-2021
- Mariano BReese JXu SNguyen TQiu XFoster JSolar-Lezama A(2019)Program synthesis with algebraic library specificationsProceedings of the ACM on Programming Languages10.1145/33605583:OOPSLA(1-25)Online publication date: 10-Oct-2019
- Luo CMa XTian YGoncalves JVelloso EKostakos V(2019)Verifying nondeterministic processes driven by broadcasts on Android2019 IEEE 3rd Information Technology, Networking, Electronic and Automation Control Conference (ITNEC)10.1109/ITNEC.2019.8729296(341-348)Online publication date: Mar-2019
- Show More Cited By