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

2012

ANU Authors

Field of Research

  • Computational Logic And Formal Languages

Updated:  27 June 2022 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers