1 citations · 1 across the 1 of their papers we have counts for
1 paper
Yufan Cai, Zhe Hou, Xiaokun Luan +4
Program refinement involves correctness-preserving transformations from formal high-level specification statements into executable programs. Traditional verification tool support f…