Cited By
View all- AlBlwi SMarsit IKhaireddine BAyad ALoh JMili A(2025)Subsumption, correctness and relative correctness: Implications for software testingScience of Computer Programming10.1016/j.scico.2024.103177239(103177)Online publication date: Jan-2025
- Zhang BJin ZWang HCao Y(2024)Formal Verification of Data Modifications in Cloud Block Storage Based on Separation LogicChinese Journal of Electronics10.23919/cje.2022.00.11633:1(112-127)Online publication date: Jan-2024
- Rachev MTrendafilov I(2024)Amitsur's theorem, semicentral idempotents, and additively idempotent semiringsOpen Mathematics10.1515/math-2023-018022:1Online publication date: 25-Mar-2024
- Show More Cited By