65 citations · 347 across the 17 of their papers we have counts for
1 paper · 1 filter
Nadia Polikarpova, Carlo A. Furia, Yu Pei +2
Experience with lightweight formal methods suggests that programmers are willing to write specification if it brings tangible benefits to their usual development activities. This p…