9 citations · 16 across the 4 of their papers we have counts for
1 paper · 1 filter
Lezhi Ma, Shangqing Liu, Yi Li +2
Formal program specifications play a crucial role in various stages of software development. However, manually crafting formal program specifications is rather difficult, making th…