HKUST Electronic Theses Solidifying and scaling SMT-based program analysis
by Peisen Yao
THESIS
2022
Ph.D. Computer Science and Engineering
1 online resource (xvii, 129 pages) : illustrations (chiefly color)
Access
Not presently available for public access at author's request
Abstract
*CONFIDENTIAL*
Permanent URL for this record: https://lbezone.hkust.edu.hk/bib/991013060728203412
Post a Comment