Program Correctness on Finite Fields

László Csirmaz Bradd Hart

Published in: LICS (1986)

Keyphrases

finite number
automatic programming
applied sciences
data sets
databases
real world
information systems
image segmentation
test cases
programming environment
program execution
unit length