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]
@inproceedings{Bandyopadhyay22,
title = {A Report on the First International Workshop on Program Equivalence (PEQ 2022)},
author = {Soumyadip Bandyopadhyay},
year = {2022},
doi = {10.1145/3511430.3511466},
url = {https://doi.org/10.1145/3511430.3511466},
researchr = {https://researchr.org/publication/Bandyopadhyay22},
cites = {0},
citedby = {0},
booktitle = {ISEC 2022: 15th Innovations in Software Engineering Conference, Gandhinagar, India, February 24 - 26, 2022},
editor = {Saurabh Tiwari 0001 and Sanjay Chaudhary and Chanchal K. Roy and Meenakshi D'Souza and Richa Sharma and Lov Kumar},
publisher = {ACM},
isbn = {978-1-4503-9618-9},
}