Home
News
People
Publications
Courses
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
Jian Fang
Publications with FICTION
Conference Papers
Yican Sun
,
Ruyi Ji
,
Jian Fang
,
Xuanlin Jiang
,
Mingshuai Chen
,
Yingfei Xiong
(2024).
Proving Functional Program Equivalence via Directed Lemma Synthesis
. In
FM 2024
.
PDF
Cite
Cite
×