Learning to do program verification

  • Authors:

  • K. Rustan M. Leino

  • Affiliations:

  • Microsoft Research, Redmond, WA

  • Venue:
  • Communications of the ACM
  • Year:
  • 2010

Quantified Score

Hi-index 48.22

Visualization

Abstract