Precise Relational Invariants Through Strategy Iteration.

Thomas Gawlitza, Helmut Seidl

Browse the full CSL paper archive.