László Csirmaz, Bradd Hart. Program Correctness on Finite Fields. In Proceedings, Symposium on Logic in Computer Science, 16-18 June 1986, Cambridge, Massachusetts, USA. pages 4-10, IEEE Computer Society, 1986.
@inproceedings{Csirmaz86, title = {Program Correctness on Finite Fields}, author = {László Csirmaz and Bradd Hart}, year = {1986}, researchr = {https://researchr.org/publication/Csirmaz86}, cites = {0}, citedby = {0}, pages = {4-10}, booktitle = {Proceedings, Symposium on Logic in Computer Science, 16-18 June 1986, Cambridge, Massachusetts, USA}, publisher = {IEEE Computer Society}, }