A Report on the First International Workshop on Program Equivalence (PEQ 2022)

Soumyadip Bandyopadhyay. A Report on the First International Workshop on Program Equivalence (PEQ 2022). In Saurabh Tiwari 0001, Sanjay Chaudhary, Chanchal K. Roy, Meenakshi D'Souza, Richa Sharma, Lov Kumar, editors, ISEC 2022: 15th Innovations in Software Engineering Conference, Gandhinagar, India, February 24 - 26, 2022. ACM, 2022. [doi]

Abstract

Abstract is missing.