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.

Co-induction Simply - Automatic Co-inductive Proofs in a Program Verifier

K. Rustan M. Leino, Michal Moskal. Co-induction Simply - Automatic Co-inductive Proofs in a Program Verifier. In Cliff B. Jones, Pekka Pihlajasaari, Jun Sun 0001, editors, FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Volume 8442 of Lecture Notes in Computer Science, pages 382-398, Springer, 2014. [doi]

Authors

K. Rustan M. Leino

This author has not been identified. Look up 'K. Rustan M. Leino' in Google

Michal Moskal

This author has not been identified. Look up 'Michal Moskal' in Google
runs on