Proving structured programs correct, level by level.

R. Infante U. Montanary

Published in: Reliable Software (1975)

Keyphrases

higher level
data mining
database
levels of abstraction
real time
real world
artificial intelligence
case study
information technology
object level