Cited By
View all- Wolfson OGiri PJajodia STrajcevski G(2023)Geographic-Region Monitoring by Drones in Adversarial EnvironmentsACM Transactions on Spatial Algorithms and Systems10.1145/36110099:3(1-36)Online publication date: 13-Sep-2023
- Arslanagić ASubotić PPérez J(2023)Bit-Vector Typestate AnalysisFormal Aspects of Computing10.1145/359529935:3(1-36)Online publication date: 13-Sep-2023
- De Boer MDe Gouw SKlamroth JJung CUlbrich MWeigl A(2023)Formal Specification and Verification of JDK’s Identity Hash Map ImplementationFormal Aspects of Computing10.1145/359472935:3(1-26)Online publication date: 13-Sep-2023
- Show More Cited By