HELIX: From Math to Verified Code
Zaliva, Vadim.
Carnegie Mellon University ProQuest Dissertations Publishing, 2020. 28262508.
- This graduate work has been published as open access.
Copyright information
Database copyright ProQuest LLC; ProQuest does not claim copyright in the individual underlying works.
View related documents
Your library or institution may also provide you access to related full text documents in ProQuest.
Alternatively, you can purchase a copy of the complete full text for this document directly from ProQuest using the option below: