Strongest Invariant Functions: Their Use in the Systematic Analysis of While Statements.

Ali Mili Jules Desharnais Jean-Raymond Gagné

Published in: Acta Informatica (1985)

Keyphrases

statistical analysis
decision making
image analysis
automatic analysis
data sets
web services
case study
database systems
wide range
natural language
data analysis
multiresolution