Cited By
View all- Amilon JEsen ZGurov DLidström CRümmer P(2024)An Exercise in Mind Reading: Automatic Contract Inference for Frama-CGuide to Software Verification with Frama-C10.1007/978-3-031-55608-1_13(553-582)Online publication date: 10-Jul-2024
- Alshnakat AGurov DLidström CRümmer P(2020)Constraint-Based Contract Inference for Deductive VerificationDeductive Software Verification: Future Perspectives10.1007/978-3-030-64354-6_6(149-176)Online publication date: 4-Dec-2020
- Louhichi AGhardallou WBsaies KJilani LMraihi OMili A(2014)Verifying while loops with invariant relationsInternational Journal of Critical Computer-Based Systems10.1504/IJCCBS.2014.0595965:1/2(78-102)Online publication date: 1-Mar-2014
- Show More Cited By