Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs

Publication
CoRR

Related