VVPAT电子投票系统的开发、形式验证和评估| IEEE期刊和杂志| IEEE Xplore