A string of pearls: Proofs of Fermat's Little Theorem
Citation
Chan H-L, Norrish, M 2012, 'A string of pearls: Proofs of Fermat's Little Theorem', 2nd International Conference on Certified Programs CPP 2012, Conference Organising Committee, Kyoto, pp. 188-207.Year
2012ANU Authors
Field of Research
- Computational Logic And Formal Languages