Automated Hypersafety Verification. - Azadeh Farzan; Anthony Vandikas (CAV (1), 2019)

Reductions for Automated Hypersafety Verification. - Azadeh Farzan; Anthony Vandikas (CoRR, 2019)

Reductions for Safety Proofs (Extended Version). - Azadeh Farzan; Anthony Vandikas (CoRR, 2019)

Reductions for safety proofs. - Azadeh Farzan; Anthony Vandikas (Proc. ACM Program. Lang., 2020)