Pages that link to "Item:Q2374302"
From MaRDI portal
The following pages link to Product programs and relational program logics (Q2374302):
Displaying 5 items.
- System-level non-interference of constant-time cryptography. II: Verified static analysis and stealth memory (Q2228439) (← links)
- Stratified guarded first-order transition systems (Q2233528) (← links)
- Modular Verification of Procedure Equivalence in the Presence of Memory Allocation (Q2988675) (← links)
- (Q5016382) (← links)
- Operationally-based program equivalence proofs using LCTRSs (Q6052946) (← links)
