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