HELIX: From Math to Verified Code

Zaliva, Vadim. 
 Carnegie Mellon University ProQuest Dissertations Publishing,  2020. 28262508.