Cited By
View all- Brain MPolgreen E(2024)A Pyramid Of (Formal) Software VerificationFormal Methods10.1007/978-3-031-71177-0_24(393-419)Online publication date: 13-Sep-2024
- Dunlap TThorn SEnck WReaves B(2023)Finding Fixed Vulnerabilities with Off-the-Shelf Static Analysis2023 IEEE 8th European Symposium on Security and Privacy (EuroS&P)10.1109/EuroSP57164.2023.00036(489-505)Online publication date: Jul-2023
- Ren WDu YSun RDu Y(2023)Development of feature extraction method based on interval-valued Pythagorean fuzzy decision theoryEngineering Applications of Artificial Intelligence10.1016/j.engappai.2023.106084121:COnline publication date: 1-May-2023
- Show More Cited By