BibTeX
@inproceedings{FM24,
author = {Yican Sun and Ruyi Ji and Jian Fang and Xuanlin Jiang and Mingshuai Chen and Yingfei Xiong},
title = {Proving Functional Program Equivalence via Directed Lemma Synthesis},
year = {2024},
month = {9},
booktitle = {FM'24: 26th International Symposium on Formal Methods},
site_corr = {6}
}