1 paper
Zhiqiang Ren, Hongwei Xi
Formal specification is widely employed in the construction of high-quality software. However, there is often a huge gap between formal specification and actual implementation. Whi…