Beyond 2-Safety: Asymmetric Product Programs for Relational Program Verification | Publicación