External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Inferring Loop Invariants Using Postconditions

Carlo A. Furia, Bertrand Meyer. Inferring Loop Invariants Using Postconditions. In Andreas Blass, Nachum Dershowitz, Wolfgang Reisig, editors, Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday. Volume 6300 of Lecture Notes in Computer Science, pages 277-300, Springer, 2010. [doi]

Authors

Carlo A. Furia

Identified as Carlo A. Furia

Bertrand Meyer

This author has not been identified. It may be one of the following persons: Look up 'Bertrand Meyer' in Google
runs on