49 citations · 89 across the 20 of their papers we have counts for
1 paper · 1 filter
Talia Ringer, Karl Palmskog, Ilya Sergey +2
Development of formal proofs of correctness of programs can increase actual and perceived reliability and facilitate better understanding of program specifications and their underl…