Login / Signup

Program Abstraction in a Higher-Order Logic Framework.

Marco BeniniSara KalvalaDirk Nowotka
Published in: TPHOLs (1998)
Keyphrases
  • higher order logic
  • higher order
  • decision trees
  • high level
  • software engineering