Maximal and Compositional Pattern-Based Loop Invariants.

Maria-Virginia Aponte, Pierre Courtieu, Yannick Moy, Marc Sango

Browse the full FM paper archive.