Programming and Computing in HOL.

Published in: TPHOLs (2000)

Keyphrases

programming language
artificial intelligence
multi agent
theorem prover
formal methods
programming environment
website
case study
high level
software development
programming course
multicore processors