Invariant and Type Inference for Matrices.

Thomas A. Henzinger, Thibaud Hottelier, Laura Kovcs, Andrei Voronkov

Browse the full VMCAI paper archive.