Login / Signup
Program Abstraction in a Higher-Order Logic Framework.
Marco Benini
Sara Kalvala
Dirk Nowotka
Published in:
TPHOLs (1998)
Keyphrases
</>
higher order logic
higher order
decision trees
high level
software engineering