@Article{FMV-CSUR14, author = {Carlo A. Furia and Bertrand Meyer and Sergey Velder}, title = {Loop Invariants: Analysis, Classification, and Examples}, journal = {ACM Computing Surveys}, volume = {46}, number = {3}, year = {2014}, pages = {Article 34}, publisher = {ACM}, month = {January}, urltopdf = {/people/furia/pubs/csur14-invariants.pdf}, acm = {http://doi.acm.org/10.1145/2506375} }