External Links

Cite Key

Statistics

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

PDF

Tags

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.

Program Transformations and Refinements in HOL

Joakim von Wright, Kaisa Sere. Program Transformations and Refinements in HOL. In Myla Archer, Jeffrey J. Joyce, Karl N. Levitt, Phillip J. Windley, editors, Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, August 1991, Davis, California, USA. pages 231-239, IEEE Computer Society, 1991.

Authors

Joakim von Wright

This author has not been identified. Look up 'Joakim von Wright' in Google

Kaisa Sere

This author has not been identified. Look up 'Kaisa Sere' in Google
runs on