31 citations · 51 across the 14 of their papers we have counts for
1 paper · 2 filters
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…