49 citations · 102 across the 7 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…