External Links

Cite Key

Statistics

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

PDF

Bibliographies

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.

Moessner's Theorem: An Exercise in Coinductive Reasoning in Coq

Robbert Krebbers, Louis Parlant, Alexandra Silva. Moessner's Theorem: An Exercise in Coinductive Reasoning in Coq. In Erika Ábrahám, Marcello M. Bonsangue, Einar Broch Johnsen, editors, Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Volume 9660 of Lecture Notes in Computer Science, pages 309-324, Springer, 2016. [doi]

Authors

Robbert Krebbers

Identified as Robbert Krebbers

Louis Parlant

This author has not been identified. Look up 'Louis Parlant' in Google

Alexandra Silva

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