Incomplete - task : First draft of Votail Journal Paper (Verification Chapter) 
Incomplete - task : First draft of Votail Journal Paper (Verification Chapter) 

GaloisInc/Votail,GaloisInc/Votail,GaloisInc/Votail