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. Learn more...
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.