Cited By
View all- Chernenko IAnureev I(2024)Requirement-Dependent Extra Invariant Patterns in Deductive Verification of PoST Programs2024 IEEE 25th International Conference of Young Professionals in Electron Devices and Materials (EDM)10.1109/EDM61683.2024.10615007(1900-1905)Online publication date: 28-Jun-2024
- Wang CLin F(2024)On Polynomial Expressions with C-Finite Recurrences in Loops with Nested Nondeterministic BranchesComputer Aided Verification10.1007/978-3-031-65627-9_20(409-430)Online publication date: 26-Jul-2024
- Grosen JKahn DHoffmann J(2023)Automatic Amortized Resource Analysis with Regular Recursive Types2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)10.1109/LICS56636.2023.10175720(1-14)Online publication date: 26-Jun-2023
- Show More Cited By