Modular development of certified program verifiers with a proof assistant.

Published in: ICFP (2006)

Keyphrases

intelligent assistant
software engineering
development process
real world
information processing
development environment
practical experience
databases
online learning
computer programs
program execution
programming environments