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.

Abstract

Abstract is missing.