Flexible Proof Reuse for Software Verification.

Chris Hunter Peter J. Robinson Paul A. Strooper

Published in: AMAST (2004)

Keyphrases

learning objects
lightweight
logic programming
proof theory
three dimensional
theorem prover
theorem proving