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.

Abstract Implementations and Correctness Proofs

Gilles Bernot, Michel Bidoit, Christine Choppy. Abstract Implementations and Correctness Proofs. In Burkhard Monien, Guy Vidal-Naquet, editors, STACS 86, 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986, Proceedings. Volume 210 of Lecture Notes in Computer Science, pages 236-251, Springer, 1986.

Authors

Gilles Bernot

This author has not been identified. Look up 'Gilles Bernot' in Google

Michel Bidoit

This author has not been identified. Look up 'Michel Bidoit' in Google

Christine Choppy

This author has not been identified. Look up 'Christine Choppy' in Google
runs on