A course in program verification for programmers.

Gerald A. Jones Ann Marie Walsh

Published in: SIGCSE/CSA (1978)

Keyphrases

programming language
source code
object oriented
computer users
software engineering
software developers
parallel programming
graphical interfaces
data model
parallel algorithm