Program verification (tutorial session): techniques and uses.

Henry MacKay Walker

Published in: SIGCSE (1990)

Keyphrases

real world
real time
databases
information systems
computational complexity
computer science
preprocessing