Thirty-Seven Years of Relational Hoare Logic: Remarks on Its Principles and History.

David A. Naumann

Browse the full ISoLA paper archive.