7 citations · 8 across the 6 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…