Cited By
View all- Hecking-Harbusch JQuante JSchlund M(2024)Formal Runtime Error Detection During Development in the Automotive IndustryVerification, Model Checking, and Abstract Interpretation10.1007/978-3-031-50524-9_1(3-26)Online publication date: 15-Jan-2024
- Biktimirov MIgnatyev VBelyaev M(2023)Improving the Accuracy of Library Function Modeling in the Static Analyzer2023 Ivannikov Ispras Open Conference (ISPRAS)10.1109/ISPRAS60948.2023.10508178(26-32)Online publication date: 4-Dec-2023
- Fadhel MAyaall HHanuyt ZHussein H(2023)Create and Develop a Management System for Cardiovascular ClinicsProceedings of Data Analytics and Management10.1007/978-981-19-7615-5_17(183-195)Online publication date: 25-Mar-2023
- Show More Cited By