Formalization and Verification of Cyclic Group.

Yue Tang, Yang Xu, Peiyao Liu, Guoyan Zeng

Browse the full ISKE paper archive.