Formalization and Verification of Cyclic Group.

Fri, 01 Jan 2021 00:00:00 +0100

Yue Tang, Yang Xu, Peiyao Liu, Guoyan Zeng:
Formalization and Verification of Cyclic Group. ISKE 2021: 1-6