Automatically refining partial specifications for heap-manipulating programs

Shengchao Qin, Guanhua He, Chenguang Luo, Wei-ngan Chin, Hongli Yang

    Research output: Contribution to journalArticlepeer-review

    Fingerprint Dive into the research topics of 'Automatically refining partial specifications for heap-manipulating programs'. Together they form a unique fingerprint.

    Engineering & Materials Science