Verifying Ada programs.

Raymond J. Hookway

Published in: ACM SIGSOFT Softw. Eng. Notes (1985)

Keyphrases

special case
model checking
multimedia
multiscale
artificial intelligence
information systems
web pages
website
decision trees
high level
software engineering
control structures