@InProceedings{FM10-YG70-post, author = {Carlo A. Furia and Bertrand Meyer}, title = {Inferring Loop Invariants Using Postconditions}, booktitle = {Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday}, pages = {277--300}, year = {2010}, editor = {Andreas Blass and Nachum Dershowitz and Wolfgang Reisig}, volume = {6300}, series = {Lecture Notes in Computer Science}, month = {August}, publisher = {Springer}, urltopdf = {/people/furia/pubs/yg70-post.pdf} }