Workshop

Loop Invariants and Algebraic Reasoning
Workshop On Loop Invariants and Algebraic Reasoning
WORReLL'23
Workshop On Reachability, Recurrences, and Loops