HELIX: From Math to Verified Code

Zaliva, Vadim.   Carnegie Mellon University ProQuest Dissertations & Theses,  2020. 28262508.