Cited By
View all- Beckert BMund JUlbrich MWeigl A(2019)Formal Verification of Evolutionary ChangesManaged Software Evolution10.1007/978-3-030-13499-0_11(309-332)Online publication date: 27-Jun-2019
- Kiefer MKlebanov VUlbrich M(2018)Relational Program Reasoning Using Compiler IRJournal of Automated Reasoning10.1007/s10817-017-9433-560:3(337-363)Online publication date: 1-Mar-2018
- Klebanov VRümmer PUlbrich M(2018)Automating regression verification of pointer programs by predicate abstractionFormal Methods in System Design10.1007/s10703-017-0293-852:3(229-259)Online publication date: 1-Jun-2018
- Show More Cited By