The following pages link to Relational Decomposition (Q3087994):
Displaying 6 items.
- Relational program reasoning using compiler IR (Q1703014) (← links)
- Abstraction and subsumption in modular verification of C programs (Q2147702) (← links)
- Product programs and relational program logics (Q2374302) (← links)
- Modular Verification of Procedure Equivalence in the Presence of Memory Allocation (Q2988675) (← links)
- Relational Decomposition (Q3087994) (← links)
- (Q5016382) (← links)
