TY  - RPRT
TI  - Direct Construction of Program Alignment Automata for Equivalence Checking
AU  - Manish Goyal
AU  - Muqsit Azeem
AU  - Kumar Madhukar
AU  - R. Venkatesh
PY  - 2021
UR  - https://arxiv.org/abs/2109.01864
ID  - 2109.01864
ER  -