Algebraic Properties of Loop Invariants.

Gerald Futschek

Published in: Formal Methods in Programming and Their Applications (1993)

Keyphrases

algebraic properties
fuzzy rough sets
security properties
vector space
neural network
data analysis
expert systems
feature extraction
rough sets