Program Transformations and Refinements in HOL.

Joakim von Wright Kaisa Sere

Published in: TPHOLs (1991)

Keyphrases

theorem prover
computer programs
formal methods
theorem proving
databases
information systems
neural network
learning algorithm
test cases