HELIX: From Math to Verified Code
Zaliva, Vadim.
Carnegie Mellon University ProQuest Dissertations Publishing, 2020. 28262508.
Database copyright ProQuest LLC; ProQuest does not claim copyright in the individual underlying works.
Your library or institution may also provide you access to related full text documents in ProQuest.