Formal Verification and Implementation of an E-Voting System. - Said Meghzili; Allaoua Chaoui; Raida Elmansouri; Bardis Nadjla Alloui; Amina Bouabsa (Int. J. Softw. Innov., 2022)