A survey of loop invariants

Carlo A. Furia Bertrand Meyer Sergey Velder

Published in: CoRR (2012)

Keyphrases

moment invariants
wide range
viewpoint
quasi invariant
artificial intelligence
multi agent
pattern recognition
evolutionary algorithm