Programming with Verification Conditions.

Maarten H. van Emden

Published in: IEEE Trans. Software Eng. (1979)

Keyphrases

programming language
sufficient conditions
website
model checking
environmental conditions
database
database systems
artificial neural networks
development environment
object oriented programming
computer programming