Dominique Cansell, Dominique Méry. Incremental Parametric Development of Greedy Algorithms.
Electronic Notes in Theoretical Computer Science, Elsevier, 2007, roceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS 2006), 185, pp.47-62.
⟨10.1016/j.entcs.2007.05.028⟩.
⟨inria-00594883⟩