Practical Automated Relational Verification - Dickerson, Robert (ProQuest Dissertations and Theses, 2025)