Sign in

Flexible Proof Reuse for Software Verification.

Chris HunterPeter J. RobinsonPaul A. Strooper
Published in: AMAST (2004)
Keyphrases
  • learning objects
  • lightweight
  • logic programming
  • proof theory
  • three dimensional
  • theorem prover
  • theorem proving