On Formal and Informal Proofs for Program Correctness.

Published in: ACM SIGPLAN Notices (1983)

Keyphrases

computer programs
formal model
programming language
formal specification
programming environment
formal models
program execution
control program
database
real time
data sets
search engine
database systems
test cases
formal methods
informal learning