Mechanisation of AKS algorithm: Part 1 – The main theorem
Hing Lun Chan, Michael Norrish
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review
8
Citations
(Scopus)