Algebraic Methods

Loop Invariants and Algebraic Reasoning
Workshop On Loop Invariants and Algebraic Reasoning