Program Correctness on Finite Fields

Lszl Csirmaz, Bradd Hart

Browse the full LICS paper archive.